Data.HSet.TypeLevel
data Nat
type family Elem typ typs :: Bool
type family Index typ typs :: Nat
type family TEq t1 t2 :: Bool
type family Length list :: Nat
type family Append l1 l2 :: [*]
type family Delete typ typs :: [*]
type family FirstEQ list1 list2 :: Bool
type family FirstContains list1 list2 :: Bool
type family And a b
type family HSubset h1 h2