17 Mar
2008
17 Mar
'08
11:48 p.m.
On 3/17/08, 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
Eh? I've never seen any πs in Hs code... in any case, I wrote this: data (->) :: ?? -> ? -> * which has the right kind. If the kind inference engine can't handle this, this probably won't ever work right...