from StdOverloaded import class toString
from Data.Either import :: Either
-from ast import :: Function, :: Expression
+from ast import :: Function, :: Expression, :: Type, :: TypeDef
:: Scheme = Forall [[Char]] Type
-:: Type
- = TVar [Char]
- | TInt
- | TBool
- | TFun Type Type
-instance toString Scheme, Type
-check :: [Function] -> Either [String] Expression
+
+instance toString Scheme
+
+check :: ![Either TypeDef Function] -> Either [String] (Expression, [([Char], Scheme)])