Lazy Evaluation
Uneeded typedef
Improving Traits
Working sugar K(t,s) Proxy