type family ListToTuple (t :: [Type]) :: Type where ...

type family TupleToList (t :: Type) :: [Type] where ...

type family TupleSize (x :: tupleKind) :: Nat where ...

type family ArgCount (x :: tupleKind) :: Nat where ...

type family ListSize (x :: k) :: Nat where ...

type family Elem (a :: k) (xs :: [k]) :: Bool where ...

type family Concat (a :: [[t]]) :: [t] where ...

type family Append (a :: [t]) (b :: [t]) :: [t] where ...

type family CatMaybes (l :: [Maybe k]) :: [k] where ...

type family PrependIf (b :: Bool) (x :: k) (xs :: [k]) :: [k] where ...

type family Index (x :: [t]) (n :: Nat) :: t where ...