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";