Comment by jlrubin

fwiw i was able to successfully port this complex project into rust's type system.