4 ms·

The tagged union/variant idea does not correspond to a Haskell type class. In fact it doesn't really even have a name in Haskell it's just the "sum type" aspec

by tome 9y ago

The tagged union/variant idea does not correspond to a Haskell type class. In fact it doesn't really even have a name in Haskell it's just the "sum type" aspect of a "algebraic data types" (which constitutes sums, products and functions, basically).

k__ 9y ago
I see. I thought that type classes are sum types also.
- tome 9y ago
  You can sort of consider them as open sum types which third parties can add additional summands to but that's probably not a very helpful way of thinking about them.