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