Transition a Stateful ADT with Outside Input by Ian Hofmann-Hicks