17 Mar
2008
17 Mar
'08
10:44 p.m.
Hrmm... that might not work so well. We actually need the kind overloaded sort for (->) and I wouldn't want an incorrect definition there. No matter what some treating of it specially will have to happen in the code proper, the internal representation of (->) just isn't a data constructor. (a -> b) is actually shorthand for π(_∷a).b John -- John Meacham - ⑆repetae.net⑆john⑈