An abstraction over a higher-order type constructor K[x[y]] with the purpose of abstracting
over heterogeneous sequences like KList and TupleN with elements with a common type
constructor as well as homogeneous sequences Seq[M[T]].