-"<|>\n+ try\n| ` <*>\n| + <*>\n| | + pure (\\u1 -> (\\u2 -> 'a' : ('a' : Term)))\n| | ` satisfy\n| ` satisfy\n` try\n ` <*>\n + <*>\n | + pure (\\u1 -> (\\u2 -> 'a' : ('b' : Term)))\n | ` satisfy\n ` satisfy\n"
\ No newline at end of file
+lets
+` <*>
+ + pure GHC.Show.show
+ ` <|>
+ + try
+ | ` <*>
+ | + <*>
+ | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types.[]))
+ | | ` satisfy
+ | ` satisfy
+ ` try
+ ` <*>
+ + <*>
+ | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types.[]))
+ | ` satisfy
+ ` satisfy