T5425.hs 125 Bytes
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1 2 3 4 5 6

-- load into ghci

"λa: (Type[0] → (Type[0] → Type[0])).\
 λb: (Type[0] → Type[0]). λc: Type[0].\
   ((a c)(b c))"