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