<div dir="ltr">Hi Cafe.<div><br></div><div><br></div><div>I was wondering if it's possible to have automatic deriving for some classes for the Void type. This would be classes that require a parameter of the type in its functions. This should obviously be trivial as the definition can be undefined since there's no way to supply a value of the type.</div>

<div><br></div><div>I guess the obvious one would be Show.</div><div><br></div><div>data Nada deriving Show</div><div><br></div><div>{*</div><div>instance Show Nada where</div><div>  show _ = undefined</div><div>*}</div>
<div>
<br></div><div><br></div><div>Thoughts?</div></div>