Type Members

1.  trait ApplyK[A[_[_]]] extends SemigroupalK[A] with FunctorK[A] with Serializable
2.  trait FunctorK[A[_[_]]] extends InvariantK[A] with Serializable

   Sort of a higher kinded Functor, but, well, it's complcated.

   Sort of a higher kinded Functor, but, well, it's complcated. See Daniel Spiewak's comment here https://github.com/typelevel/cats/issues/2697#issuecomment-453883055 Also explains why this isn't in cats-core.

3.  trait InvariantK[A[_[_]]] extends Serializable
4.  trait SemigroupalK[A[_[_]]] extends Serializable
5.  type Tuple3K[F[_], G[_], H[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T]) }
6.  type Tuple4K[F[_], G[_], H[_], I[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T]) }
7.  type Tuple5K[F[_], G[_], H[_], I[_], J[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T]) }
8.  type Tuple6K[F[_], G[_], H[_], I[_], J[_], K[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T]) }
9.  type Tuple7K[F[_], G[_], H[_], I[_], J[_], K[_], L[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T]) }
10.  type Tuple8K[F[_], G[_], H[_], I[_], J[_], K[_], L[_], M[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T], M[T]) }
11.  type Tuple9K[F[_], G[_], H[_], I[_], J[_], K[_], L[_], M[_], N[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T], M[T], N[T]) }