[Haskell-cafe] Is there a better way to subtyping?

[John Meacham]

Why not

data Super
        = SuperA {
                commonFields :: ()
                aFields :: ()
                }
        | SuperB {
                commonFields :: ()
                bFields :: ()
                }
        | SuperC {
                commonFields :: ()
                cFields :: ()
                }

reusing the common field names between constructors like this is a-okay.

   John