<*>
+ <*>
-| + pure (const . (flip ($)) Pure)
+| + pure (\u1 -> (\u2 -> u1 Term))
| ` def name_1
| ` <|>
| + <*>
| | + <*>
-| | | + pure ((.) . (cons . const 'r'))
+| | | + pure (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
| | | ` satisfy
| | ` rec name_1
-| ` pure id
+| ` pure (\u1 -> u1)
` eof