1 2 3 4 5
let opt(x) = _ | x; let plus(x) = [plus](x . opt(plus)); let star(x) = [star](opt(x . star)); match plus("a") . star("b");