+ <*>
| + <*>
| | + <*>
-| | | + pure ((.) ((flip ($)) (const id)) . ((.) (.) . ((.) (.) . ((.) (const id) . const id))))
-| | | ` def let_3
-| | | ` <*>
-| | | + <*>
-| | | | + pure (const id)
-| | | | ` def let_5
-| | | | ` <*>
-| | | | + <*>
-| | | | | + pure (const id)
-| | | | | ` rec let_3
-| | | | ` rec let_5
-| | | ` rec let_3
-| | ` def let_1
-| | ` pure ()
-| ` def let_2
+| | | + <*>
+| | | | + <*>
+| | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6))))))
+| | | | | ` def <hidden>
+| | | | | ` pure (\u1 -> (\u2 -> u2))
+| | | | ` def <hidden>
+| | | | ` <*>
+| | | | + <*>
+| | | | | + def <hidden>
+| | | | | | ` pure (\u1 -> (\u2 -> u2))
+| | | | | ` def <hidden>
+| | | | | ` <*>
+| | | | | + <*>
+| | | | | | + pure (\u1 -> (\u2 -> u2))
+| | | | | | ` rec <hidden>
+| | | | | ` rec <hidden>
+| | | | ` rec <hidden>
+| | | ` def <hidden>
+| | | ` pure Term
+| | ` ref <hidden>
+| ` def <hidden>
| ` <*>
| + <*>
-| | + pure (const id)
-| | ` def let_4
+| | + ref <hidden>
+| | ` def <hidden>
| | ` <*>
| | + <*>
-| | | + pure (const id)
-| | | ` rec let_2
-| | ` rec let_4
-| ` rec let_2
-` ref let_1
+| | | + pure (\u1 -> (\u2 -> u2))
+| | | ` rec <hidden>
+| | ` rec <hidden>
+| ` rec <hidden>
+` ref <hidden>