Making impossible state transitions impossible (Oslo Elm Day question)

Ok, found this https://discourse.elm-lang.org/t/can-phantom-types-be-used-to-restrict-the-possible-transitions-in-a-state-machine/508/8

Very interesting and there is a state machine package. What searching can give you! :slight_smile: