[Functional Programming] Transition State based on Existing State using the State ADT (liftState, composeK)