{-# LANGUAGE GeneralizedNewtypeDeriving , StandaloneDeriving #-} module Data.Set.Class.Types where -- | These types are used for @Monoid@ and @Commutative@ instances for sets. newtype Union a = Union {fromUnion :: a} newtype Intersection a = Intersection {fromIntersection :: a}