concrete functor and monad transformers
#43Can "M2" be used instead of "... T"?
M2 as defined here is equivalent to Compose, except for the Monad instance, and it is not clear that that instance is valid, or that it is compatible with the Applicative instance.
- status set to closed