-
Simon Peyton Jones authored
In particular, (forall a. Num a => ...) always has kind *, becuase the "=>" really is a function. It turned out that this was at the bottom of the crash in Trac #7778, which is now fixed
d3149f60
In particular, (forall a. Num a => ...) always has kind *, becuase the "=>" really is a function. It turned out that this was at the bottom of the crash in Trac #7778, which is now fixed