Minor correction - need to remove the covariant X in the StateTReaderTOption type definition