Data.Unique.Tag
data Tag s a
newTag
data RealWorld
type (:=)
class GEq k f
data GOrdering k a b
class GCompare k f