implicit Tuple2K

[johnynek]

It is useful in some contexts to have:

implicit def summonTuple2K[F[_], G[_], A](implicit fa: F[A], ga: G[A]): Tuple2K[F, G, A] =
  Tuple2K(fa, ga)

for cases where we are letting implicit resolution drive some computations.

Any reason this should not be in the companion for Tuple2K?

[djspiewak]

I can't think of any harm in this. It's certainly not going to resolve the way you want it to in many cases, but for the cases where it doesn't resolve properly, I'm quite certain it doesn't break anything when it's on the companion.

[johnynek]

BTW: @djspiewak can you give an example of it this not resolving the way you want? This seems to me to be quite natural.