[icrbow]

> Haskell doesn't have sum types

Say what?..

[tome]

I think it's because `Either a b` contains all of `undefined`, `Left undefined` and `Right undefined`. In other words, a technicality.

[hutrdvnj]

And this is not even the bottom of Haskell's unsoundness.