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