<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
data A_GADT where A_GADT :: A t =&gt; t -&gt; A_GADT<br>
</blockquote><br>
By the way, is there an extension that enables A_GADT to be 
automatically declared as an instance of class A?<br>