Li-Fan Chen
says to
YSITD
https://yoric.github.io/post/rust-typestate/