An Unapply for types shaped like [a]M[F[_], a], e.g. StreamT.
Merge pull request #264 from S11001001/topic/unapply-mfa

An Unapply for types shaped like [a]M[F[_], a], e.g. StreamT