A basic definition of monads.