let opt x = _ | x;
let plus x = !(/rec/ x . opt rec);
match "ba" . plus "a";