Describir: A type-theoretical Curry paradox and its solution.