https://123dok.net/document/yng0o37l-gradual-typestate.html