I guess what you're saying is that 1. a core implementation is simply more powerful. and 2. my question doesn't really have much with the nature of monads to do.