[dddbbb]

I was just responding to the parent comment's claim that Haskell's sum types are not true sum types.