<*> + pure (\u1 -> u1 Term) ` <|> + <*> | + <*> | | + pure (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3))) | | ` satisfy | ` rec ` pure (\u1 -> u1)