Add MFunctor instances for the Compose, Product, Backwards and Lift types from the transformers package.