A monad for domains and other categories