Newtype data constructors get a compulsory unfolding