[infer unboxed arguments properly without type annotations
John Meacham <john@repetae.net>**20061116213655] hunk ./FrontEnd/Tc/Main.hs 659
-            withMetaVars mv [kindStar,kindFunRet] (\ [a,b] -> a `fn` b) $ \ [a,b] -> lam (p:ps) (a `fn` b) rs
+            withMetaVars mv [kindArg,kindFunRet] (\ [a,b] -> a `fn` b) $ \ [a,b] -> lam (p:ps) (a `fn` b) rs