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

Mon Mar 31 07:28:01 EDT 2008 Samuel Bronson * Fix kind inference + test Also, comment out the case in kindOf that makes things look fine when they aren't -- unless of course * isn't the right kind Mon Mar 31 11:18:39 EDT 2008 Samuel Bronson * Work around type inference bug relating to main (I didn't do it!) Fri Mar 21 00:29:22 EDT 2008 Samuel Bronson * Split TArrows where appropriate Thu Mar 20 16:42:02 EDT 2008 Samuel Bronson * Actually define (->)... Tue Mar 18 18:43:45 EDT 2008 Samuel Bronson * Add Control.Monad.Instances to base package Tue Mar 18 18:56:40 EDT 2008 Samuel Bronson * Add Control.Category Thu Mar 20 17:33:26 EDT 2008 Samuel Bronson * Make Control.Category actually not import Prelude...