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