[carlmr]

That's correct, it's not a zero-cost abstraction.

Also the wrapping types aren't unsafe, they just make it explicit.