j
k
j a
j l
data A_GADT where A_GADT :: A t => t -> A_GADT
By the way, is there an extension that enables A_GADT to be automatically declared as an instance of class A?
Attachments:
Back to the thread
Back to the list
