This is partly genuine curiosity, and partly a check on my understanding. I'm probably missing the point.
In Haskell, why does a monad use operations called
unit to describe putting a type into the container -- lifting it into the monadic space? It seems more intuitive to call the operation
Right now, in my (probably incorrect) port of monads into my own project, I'm using (pseudocode):
because it's more intuitive for me to think of lifting x into the monadic space.
Is that wrong-headed? I keep getting burned by not thinking abstractly enough, and I suspect that's the case again.