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


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14661, comment 12

    v3 v4  
    1818
    1919{{{#!hs
     20newtype ENDO = ENDO (forall xx. Endo xx)
     21  deriving (Semigroup, Monoid)
     22    via (Forall Endo)
     23
     24----
     25
    2026instance Forall :: (k -> Type) -> Type where
    2127  Forall :: (forall xx. f xx) -> Forall f
     
    2632instance (forall xx. Monoid (f xx)) => Monoid (Forall f) where
    2733  mempty = Forall mempty
    28 
    29 newtype ENDO = ENDO (forall xx. Endo xx)
    30   deriving (Semigroup, Monoid)
    31     via (Forall Endo)
    3234}}}