Data.HSet.TypeLevel
data Nat
type family MayIndexGo typ typs acc :: Maybe Nat
type MayIndex typ typs
type family MayFstIndexSnd ts1 ts2 :: Maybe Nat
type family Append l1 l2 :: [*]
type family AppendUniq typs typ :: [*]
type family Union l1 l2 :: [*]
type family UnionList' acc ls :: [*]
type UnionList l
type family XReverse acc l :: [*]
type Reverse a
type family Delete typ typs :: [*]
type family Replace typ1 typ2 typs :: [*]
type TagElem tag typ typs
type family And a b
type family HSubset h1 h2