org.specs2.internal.scalaz
Unpack a value of type M0[F[_], A0, B0] into types [a]M0[F, a, B0] and A0, given an instance of TC
M0[F[_], A0, B0]
[a]M0[F, a, B0]
A0
TC
Unpack a value of type M0[F[_], A0, B0] into types [b]M0[F, A0, b] and B0, given an instance of TC
[b]M0[F, A0, b]
B0