definition module gen from Data.Either import :: Either from ast import :: Expression gen :: Expression -> Either [String] [String]