Example: calling SplitK[K1, Task] returns the type lambda F[a] => K1[F[Task[a]].
SplitK[K1, Task]
F[a] => K1[F[Task[a]]