| | ` rec <hidden>
| ` pure (\u1 -> u1)
` <*>
- + <*>
- | + pure (\u1 -> (\u2 -> u1))
- | ` <*>
- | + ref <hidden>
- | ` pure Term
+ + pure Term
` <*>
+ <*>
| + pure (\u1 -> (\u2 -> u1))
- | ` pure 'b'
- ` satisfy
+ | ` <*>
+ | + ref <hidden>
+ | ` pure Term
+ ` <*>
+ + <*>
+ | + pure (\u1 -> (\u2 -> u1))
+ | ` pure 'b'
+ ` satisfy