Type experiments with writing