Control.IndexT.TypeLevel.Tuple

type family TupleConstraint (n :: Nat) (a :: k) :: Constraint

type family HomoTupleConstraint (n :: Nat) a :: Constraint

class IsTuple n a

class IsHomoTuple n a