About the types, I'm not really sure. I guess you're right and we might be able to get rid of all of them in the `WrappedXXX` traits.

TBH, I was just happy that these types and the implementing classes compiled at one point... ;)