Fetch a well-typed Unapply
for the given typeclass and type.
Unpack a value of type M0[A0]
into types M0
and A0
, given a instance of TC
Unpack a value of type M0[A0, B0]
into types [a]M0[a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[A0, B0]
into types [a]M0[a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[F[_], A0, B0]
into types [a]M0[F, a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[F[_], A0, B0]
into types [a]M0[F, a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[F[_], A0, A0, B0]
into types [a]M0[F, a, a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[F[_], A0, A0, B0]
into types [a]M0[F, a, a, B0]
and A0
, given an instance of TC