[Haskell-cafe] Subtype polymorphism in Haskell

Yves Parès limestrael at gmail.com
Mon Jul 5 17:04:13 EDT 2010

> 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

More information about the Haskell-Cafe mailing list