| | + 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.:)
| | ` <*>
| | + <*>
-| | | + pure (\x_0 -> \x_1 -> x_0)
+| | | + pure (\u_0 -> \u_1 -> u_0)
| | | ` pure 'c'
| | ` satisfy ((GHC.Classes.==) 'c')
| ` <*>
| | + pure (GHC.Types.:)
| | ` <*>
| | + <*>
-| | | + pure (\x_0 -> \x_1 -> x_0)
+| | | + pure (\u_0 -> \u_1 -> u_0)
| | | ` pure 'd'
| | ` satisfy ((GHC.Classes.==) 'd')
| ` pure GHC.Types.[]
+ pure GHC.Show.show
` <*>
+ <*>
- | + pure (\x_0 -> \x_1 -> x_0)
+ | + pure (\u_0 -> \u_1 -> u_0)
| ` <*>
| + <*>
| | + pure (GHC.Types.:)