I really appreciate this description. Always nice to see the "actual" definitions instead of "it's like a thing you can map over."

I initially had problems understanding monads in Haskell having come from a math perspective.