Control.Ether.Tagged

class Taggable m

class Tagged m tag

type Tags m

type Inners m

class UniqueTag a

type family UniqueTags m :: Constraint

ensureUniqueTags