∆QSD-classes A formulation of the ∆QSD approach captured as Haskell typeclass and associated functionality.