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