%(A:*) %(B:*) @(parse:(Parser A)) @(next:@(:A) (Parser B)) (Parser B)