definition module int from Data.Either import :: Either from ast import :: AST, :: Value int :: AST -> Either [String] Value