%(V:*) @(parse:(Parser V)) (Parser (Maybe V))