  The general structure can be made explicit by defining a type of unary connective that gives rise to Curry’s paradox, and showing how this type is exemplified both by negation and by a unary connective defined in terms of a conditional.