lets
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
|   | | ` <*>
|   | |   + pure cons
|   | |   ` <*>
|   | |     + <*>
|   | |     | + pure (\u1 -> (\u2 -> u1))
|   | |     | ` pure 'a'
|   | |     ` satisfy
|   | ` rec <hidden>
|   ` pure (\u1 -> u1)
` <*>
  + pure Term
  ` <*>
    + ref <hidden>
    ` pure Term