+ "Return the type of a blessed object."
"bind makes the value of the given monad available to a function.
The function may act on the value, but it must return another monad.
Although this cannot be enforced in Clojure."}
- bind (fn [m _] (m
+ bind (fn [m _] (mtype)))
"let-bind binds the result of the given monads to the given variables