Compose Simple State ADT Transitions into One Complex Transaction by Ian Hofmann-Hicks