let opt(x) = _ | x;
let plus(x) = [rec](x . opt(rec));
match plus(("r" | "t") . "a");