- parseInOutType :: Parser Token FunType
- parseInOutType = FunType <$> (some parseType <* satTok ArrowToken) <*> parseVoidOrType
-
- parseVoidOrType :: Parser Token (Maybe Type)
- parseVoidOrType = (satTok VoidToken *> pure Nothing) <|>
- (Just <$> parseType) <|> pure Nothing
+ parseFT :: Parser Token Type
+ parseFT = ((->>) <$> parseType <* satTok ArrowToken <*> parseFT) <|> parseType