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