trait_eval 0.1.1

We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
Documentation