[Haskell-cafe] Re: ANN: data-category, restricted categories

[Ashley Yakeley]

wagnerdm at seas.upenn.edu wrote:
> I believe I was claiming that, in the absence of undefined, Nothing and 
> Nothing2 *aren't* isomorphic (in the CT sense).

Well, this is only due to Haskell's difficulty with empty case 
expressions. If that were fixed, they would be isomorphic even without 
undefined.

-- 
Ashley Yakeley