| | + <*>
| | | + pure (\x_0 -> \x_1 -> x_0)
| | | ` pure 'a'
- | | ` satisfy
+ | | ` satisfy ((GHC.Classes.==) 'a')
| ` <*>
| + <*>
| | + pure (GHC.Types.:)
| | + <*>
| | | + pure (\x_0 -> \x_1 -> x_0)
| | | ` pure 'a'
- | | ` satisfy
+ | | ` satisfy ((GHC.Classes.==) 'a')
| ` pure GHC.Types.[]
` try
` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_0)
| | ` pure 'a'
- | ` satisfy
+ | ` satisfy ((GHC.Classes.==) 'a')
` <*>
+ <*>
| + pure (GHC.Types.:)
| + <*>
| | + pure (\x_0 -> \x_1 -> x_0)
| | ` pure 'b'
- | ` satisfy
+ | ` satisfy ((GHC.Classes.==) 'b')
` pure GHC.Types.[]