[jhc] (->) not working too well...

[John Meacham]

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⑈