[Functional Programming] Read and Transform Values from a State ADT’s State (get)