Wonderful, but still disappointed that easy strict-type-wrapping is not a thing yet. There have been a few RFC trying to work on deriving a type from another,

Wonderful, but still disappointed that easy strict-type-wrapping is not a thing yet. There have been a few RFC trying to work on deriving a type from another, and while I agree it's much more complex than it sounds, I also find it's a huge missing point. If I have to reimplement a wrapper myself for all Traits, I most likely won't bother, leading to less typesafety, leading to more bugs :(