copy and discard monad

More generally, copy and discard functor.

It remains to explain this in terms of copy-discard functors.

Tags: Monad, copy-discard category.