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

[Isaac Dupree]

Samuel Bronson wrote:
> Eh? I've never seen any πs in Hs code... in any case, I wrote this:
> 
> data (->) :: ?? -> ? -> *

isn't it (->) :: ? -> ?? -> *
? The result, not the argument, can be unboxed tuple

> which has the right kind. If the kind inference engine can't handle
> this, this probably won't ever work right...

(agreed that the kind inference ought to handle this)

-Isaac