3 from Data.Either import :: Either
4 from StdOverloaded import class toString
6 from int import :: Eval
8 :: Function = Function [Char] [[Char]] Expression
9 :: TypeDef = TypeDef [Char] [[Char]] [([Char], [Type])]
14 | Tuple Expression Expression
15 | App Expression Expression
16 | Lambda [Char] Expression
17 | Let [([Char], Expression)] Expression
22 | ** infix 9 Expression Expression
23 | Lambda` [Char] Expression
24 | Builtin (Expression -> Eval Expression)
31 | (-->) infixr 9 Type Type
33 instance toString Function, Expression, Value, Type, TypeDef