Control.IndexT.Tuple

type family TupleN (n :: Nat) a

type TupleConstraint n a

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

class IsTuple n a

class IsHomoTuple n a