the 'newtype' keyword