test writer, also extend monoid protocol (though this should really be
done in babbage)