Change Write to a transformer, namely WriteT