-// mapM processGamma dcls//
-
-////add the infered type in Gamma to AST constructs
-//class processGamma a :: a -> Typing a//
-
-//instance processGamma VarDecl where
-// processGamma v=:(VarDecl p _ k e) =
-// gamma >>= \g -> case 'Map'.member k g of
-// False = undef
-// True = instantiate ('Map'.find k g) >>= \t->
-// pure (VarDecl p (Just t) k e)//
-
-//instance processGamma FunDecl where
-// processGamma v=:(FunDecl p k args _ vds stmts) =
-// gamma >>= \g -> case 'Map'.member k g of
-// False = undef
-// True = instantiate ('Map'.find k g) >>= \t->
-// pure (FunDecl p k args (Just t) vds stmts)
-