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