> > 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?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe