Title: A theory of monads