<div dir="ltr"><div>Hi!</div><div><br></div><div>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.</div><div><br></div><div><br></div><div>Regards,<br></div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Markus Läll<br></div></div></div>