[jhc] darcs patch: Fix kind inference + test (and 6 more)

[Samuel Bronson]

>  I seem to have left some patches out this time, though...

Okay, this one has the final patch -- this one mostly replaces
hard-coded TAp constructors with tAp invocations -- tAp returns a
TArrow instead of a TAp in the appropriate case.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-typechecking.dpatch
Type: application/octet-stream
Size: 28587 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/jhc/attachments/20080403/04dc6f7c/fix-typechecking-0001.obj