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