Comment on Haskell for BeginnersparentComments−tome5yI think it's because `Either a b` contains all of `undefined`, `Left undefined` and `Right undefined`. In other words, a technicality.−hutrdvnj5yAnd this is not even the bottom of Haskell's unsoundness.
Comments
I think it's because `Either a b` contains all of `undefined`, `Left undefined` and `Right undefined`. In other words, a technicality.
And this is not even the bottom of Haskell's unsoundness.