lets
` <*>
- + pure Term
+ + pure GHC.Show.show
` <*>
+ <*>
- | + pure (\u1 -> (\u2 -> u1))
+ | + pure (\x_0 -> \x_1 -> x_0)
| ` <|>
| + <|>
| | + <*>
| | | + <*>
- | | | | + pure (\u1 -> (\u2 -> u1))
+ | | | | + pure (\x_0 -> \x_1 -> x_0)
| | | | ` pure 'a'
| | | ` satisfy
| | ` <*>
| | + <*>
- | | | + pure (\u1 -> (\u2 -> u1))
+ | | | + pure (\x_0 -> \x_1 -> x_0)
| | | ` pure 'b'
| | ` satisfy
| ` <*>
| + <*>
- | | + pure (\u1 -> (\u2 -> u1))
+ | | + pure (\x_0 -> \x_1 -> x_0)
| | ` pure 'c'
| ` satisfy
` <*>
+ <*>
- | + pure (\u1 -> (\u2 -> u1))
+ | + pure (\x_0 -> \x_1 -> x_0)
| ` pure 'd'
` satisfy