remove ReaderWriterStateT form TODO.txt