> Code that does very different things should look different, not identical. I think the major point you're missing here is that the whole point of pushing mon

> Code that does very different things should look different, not identical. I think the major point you're missing here is that the whole point of pushing monads as a core abstraction is the way they shift what "different things" means.