[Missing sigs in FrontEnd.Tc.Type
Samuel Bronson <naesten@gmail.com>**20090205184354] hunk ./FrontEnd/Tc/Type.hs 127
+isBoxyMetaVar :: MetaVar -> Bool
hunk ./FrontEnd/Tc/Type.hs 150
+flattenType :: (MonadIO m, UnVar t) => t -> m t
hunk ./FrontEnd/Tc/Type.hs 306
+-- | Apply the function if the 'Bool' is 'True'.
+ptrans :: Bool -> (a -> a) -> (a -> a)
hunk ./FrontEnd/Tc/Type.hs 314
+ctFun :: CoerceTerm -> CoerceTerm
hunk ./FrontEnd/Tc/Type.hs 317
+
+ctAbs :: [Tyvar] -> CoerceTerm
hunk ./FrontEnd/Tc/Type.hs 321
+
+ctAp :: [Type] -> CoerceTerm
hunk ./FrontEnd/Tc/Type.hs 325
+
+ctId :: CoerceTerm