> module Data.Cofunctor (
>     Cofunctor(..)
>     ) where
This doesn't seem to be a popular class, unfortunately but it's useful for us here: it lets us transform a Mailbox/sink/processor of one input type to another 
> class Cofunctor f where
>     cofmap :: (b -> a) -> f a -> f b