This issue is to gather use cases where the best solution is probably a newtype, but today that newtype is either tedious to implement because many things have to be delegated, fragile to implement because that delegation involves copy-pasting code that should not be copy-pasted, or has some other undesirable code smell.