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