Note: leaving this as a `.pre` instead of an `.rc` so we can experiment
with newtypes first before doing an `.rc`