definition module parse import lex :: ParserOutput :== Either String AST :: AST = If | While //stub parse :: LexerOutput -> ParserOutput