Wrapping records with newtype

This also came up in Adjusting the verbosity of :type