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