Re: [Haskell-cafe] Basic question concerning data constructors

On Dec 31, 2007 7:17 AM, wrote:

This declaration states that there's a bijection between the elements of Foo and the elements of 2^Foo, which by Cantor's diagonal theorem cannot be true for any set. That's because we only allow computable functions,

Nit the nit: Or (more commonly, I think) all continuous functions.

and Foo -> Bool is actually an exponential object in the category Hask.

- Benja