scalaz
Unapply a covariant type constructor, maintaining the covariance
The type that M was applied to
M
The type constructor
The instance of the type class
Evidence that MA =:= M[A]
Compatibility.
Unapply a covariant type constructor, maintaining the covariance