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