[jhc] darcs patch: Fix kind inference + test (and 1 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!)