Implement WriterC

Implement a contra variant function version of Writer. Allows a user to
use contra map to map a function to an existing Writer