-<|>
-+ <*>
-| + <*>
-| | + pure cons
-| | ` <*>
-| | + <*>
-| | | + pure (\u1 -> (\u2 -> u1))
-| | | ` pure 'a'
-| | ` satisfy
-| ` <*>
-| + <*>
-| | + pure cons
-| | ` <*>
-| | + <*>
-| | | + pure (\u1 -> (\u2 -> u1))
-| | | ` pure 'a'
-| | ` satisfy
-| ` pure Term
+lets
` <*>
- + <*>
- | + pure cons
- | ` <*>
- | + <*>
- | | + pure (\u1 -> (\u2 -> u1))
- | | ` pure 'a'
- | ` satisfy
- ` <*>
+ + pure GHC.Show.show
+ ` <|>
+ <*>
- | + pure cons
+ | + <*>
+ | | + pure (GHC.Types.:)
+ | | ` <*>
+ | | + <*>
+ | | | + pure (\x_0 -> \x_1 -> x_0)
+ | | | ` pure 'a'
+ | | ` satisfy ((GHC.Classes.==) 'a')
| ` <*>
| + <*>
- | | + pure (\u1 -> (\u2 -> u1))
- | | ` pure 'b'
- | ` satisfy
- ` pure Term
+ | | + pure (GHC.Types.:)
+ | | ` <*>
+ | | + <*>
+ | | | + pure (\x_0 -> \x_1 -> x_0)
+ | | | ` pure 'a'
+ | | ` satisfy ((GHC.Classes.==) 'a')
+ | ` pure GHC.Types.[]
+ ` <*>
+ + <*>
+ | + pure (GHC.Types.:)
+ | ` <*>
+ | + <*>
+ | | + pure (\x_0 -> \x_1 -> x_0)
+ | | ` pure 'a'
+ | ` satisfy ((GHC.Classes.==) 'a')
+ ` <*>
+ + <*>
+ | + pure (GHC.Types.:)
+ | ` <*>
+ | + <*>
+ | | + pure (\x_0 -> \x_1 -> x_0)
+ | | ` pure 'b'
+ | ` satisfy ((GHC.Classes.==) 'b')
+ ` pure GHC.Types.[]