= Rust dependent type implementation

Implementation of https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 in Rust