Data.HSet.TypeLevel

data Nat

type family Elem typ typs :: Bool

type family Index typ typs :: Nat

type family MayIndexGo typ typs acc :: Maybe Nat

type MayIndex typ typs

type family MayFstIndexSnd ts1 ts2 :: Maybe Nat

type family TEq t1 t2 :: Bool

type family Length list :: Nat

type family Append l1 l2 :: [*]

type family XReverse acc l :: [*]

type Reverse a

type family Delete typ typs :: [*]

type family And a b

type family HSubset h1 h2