A perfected Newtype