Implementing Mutually Exclusive Traits and Trait Bounds

Oh that is nifty, I'll give it a try tomorrow.