Changes between Version 2 and Version 3 of Ticket #14661, comment 12


Ignore:
Timestamp:
Jan 23, 2018 3:51:15 PM (23 months ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14661, comment 12

    v2 v3  
    2121  Forall :: (forall xx. f xx) -> Forall f
    2222
    23 instance (forall xx. Semigroup (f xx)) => Semigroup (Limit f) where
     23instance (forall xx. Semigroup (f xx)) => Semigroup (Forall f) where
    2424  Forall xs <> Forall ys = Forall (xs <> ys)
    2525
    26 instance (forall xx. Monoid (f xx)) => Monoid (Limit f) where
     26instance (forall xx. Monoid (f xx)) => Monoid (Forall f) where
    2727  mempty = Forall mempty
    2828