-"<*>\n+ <*>\n| + pure (\\u1 -> (\\u2 -> u1 Term))\n| ` <|>\n| + <*>\n| | + <*>\n| | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u1 : u2 u3)))\n| | | ` satisfy\n| | ` rec <hidden>\n| ` pure (\\u1 -> u1)\n` eof\n"
\ No newline at end of file
+lets
+` <*>
+ + <*>
+ | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
+ | ` chainPre
+ | + <*>
+ | | + pure (GHC.Types.:)
+ | | ` satisfy (\t_0 -> ('a' GHC.Classes.== t_0) GHC.Classes.|| (('b' GHC.Classes.== t_0) GHC.Classes.|| (('c' GHC.Classes.== t_0) GHC.Classes.|| (('d' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))
+ | ` pure GHC.Types.[]
+ ` eof