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