Data.Unique.Tag

data Tag s a

newTag

data RealWorld

type (:=)

class GEq k f

data GOrdering k a b

class GCompare k f