%(V:*) @(until:(Parser Unit)) @(parse:(Parser V)) (Parser (List V))