Add monadic bindings.