<*> + <*> | + pure (\u1 -> (\u2 -> u1)) | ` pure 'a' ` satisfy