HaskellWriter now outputs a bit of a data type.