This module defines monads that are compatible with the notion of name-binding, where a monad is compatible with name-binding iff it can intuitively run computations that are inside name-bindings. More formally, a binding monad is a monad with an operation mbM that commutes name-binding with the monadic operations, meaning:

'mbM' ('nuMulti' $ \ns -> 'return' a) == 'return' ('nuMulti' $ \ns -> a)
'mbM' ('nuMulti' $ \ns -> m >>= f)
  == 'mbM' ('nuMulti' $ \ns -> m) >>= \mb_x ->
     'mbM' (('nuMulti' $ \ns x -> f x) `'mbApply'` mb_x)