https://github.com/Munksgaard/rust-sessions actually goes quite far in doing this (without compiler support, just using the type system).