IndexedReaderWriterStateT is a class.