Variants, sum types and type classes are all different notions. In PureScript variants (https://github.com/natefaubion/purescript-variant https://github.com/na

Variants, sum types and type classes are all different notions. In PureScript variants (https://github.com/natefaubion/purescript-variant https://github.com/natefaubion/purescript-variant) are used to have a homogeneous sum type that mixes different types, sum types is a single type with multiple constructors. Type classes others already explained.