[tominated]

I've read through maybe half and doubt you'll find it useful for Rust development. If you're interested in learning a dependently typed language it is fantastic though.

[haskellandchill]

Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.