namespaceification of monads