> they are finitely complete, have finite coproducts but not all coequalizers.

Er...

> we construct a functor from a category of DSCs

Dammit. I should have known. I mean, it is a truth universally acknowledged that a monad is just a monoid in the category of endofunctors.

How foolish I have been!