I think this is a fundamentally difficult problem. Life is sometimes not nice and you have to choose. I chose to write newtype wrappers and to accept the complexity.

> I find it hard to believe [...]

I think you should read up stuff about the orphan rule, then you will understand better.