[Haskell-cafe] No "fields of ... not initialized" warning with RecordWildCards and Void?

Hi! Would it make sense to suppress the "fields of ... not initialized" when the type of the field is Void, or any other type with no data constructors? As the only way to construct void would be `undefined :: Void`, and the field already is undefined. Regards, -- Markus Läll