| ` <|>
| + <*>
| | + <*>
-| | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
+| | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
| | | ` <*>
| | | + pure (GHC.Types.:)
| | | ` satisfy
| | ` rec <hidden>
-| ` pure \x_0 -> x_0
+| ` pure (\x_0 -> x_0)
` <*>
+ pure GHC.Show.show
` <*>
+ <*>
- | + pure \x_0 -> \x_1 -> x_0
+ | + pure (\x_0 -> \x_1 -> x_0)
| ` <*>
| + ref <hidden>
| ` pure GHC.Types.[]