I think the name “context wrapper” is meaningful representation. To me, (and i emphasise the to me part) It’s something that wraps on type to add more information to it.

For instance a time type could be wrapped in timezone Monad. To stop time being manipulated without the context (time zone) being corrupt, we use map to only allow specific changes to instance inside the monad.

I wrote a little blog post on my interpretation if anyone’s interested: https://blog.philliptaylor.net/?post=monads-for-oo-programmers.md

My main functional programming is Scala, which I absolutely love as a programming language. Due to it’s simple implicits feature it feels a light as weak-typing but with the guarantees and debuggability of strong types. The types are there but the RSI isn’t! However my experience is limited.