instance toString Value where
toString (Int i) = toString i
toString (Bool b) = toString b
- toString (Char b) = "'" +++ toString b +++ "'"
toString (Func a as _) = "Function arity " +++ toString a +++ " curried " +++ join "," (map toString as)
instance toString Type where
toString (TVar a) = toString a
toString TInt = "Int"
toString TBool = "Bool"
- toString TChar = "Char"
toString (TFun a b) = "(" +++ toString a +++ ") ->" +++ toString b