<*>
+ <*>
| + pure (\u1 -> (\u2 -> u2))
| ` def <hidden>
|   ` pure Term
` ref <hidden>