-<*>
-+ <*>
-| + pure (\u1 -> (\u2 -> u1 Term))
-| ` def <hidden>
-| ` <|>
-| + <*>
-| | + <*>
-| | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
-| | | ` satisfy
-| | ` rec <hidden>
-| ` pure (\u1 -> u1)
-` eof
+lets
++ let <hidden>
+| ` <|>
+| + <*>
+| | + <*>
+| | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) x_0 (x_1 x_2))
+| | | ` satisfy
+| | ` rec <hidden>
+| ` pure (\x_0 -> x_0)
+` <*>
+ + <*>
+ | + pure (\x_0 -> \x_1 -> GHC.Show.show (x_0 GHC.Types.[]))
+ | ` ref <hidden>
+ ` eof