Delete lazy_write.hs