> > 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? -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100705/dd044c32/attachment.html