Changes between Initial Version and Version 1 of Ticket #14661, comment 5


Ignore:
Timestamp:
Jan 12, 2018 4:10:32 PM (2 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14661, comment 5

    initial v1  
    66type Cat ob = ob -> ob -> Type
    77
    8 newtype WRAP :: (k' ~> k) -> (Cat k -> Cat k) where
     8newtype WRAP :: (k' ~> k) -> (Cat k -> Cat k') where
    99  WRAP :: cat (f@@a) (f@@b)
    1010       -> WRAP f cat a b