Read and Transform Values from a State ADT’s State by Ian Hofmann-Hicks