definition module gen import AST import Data.Either gen :: AST -> Either String String