interaction of GADTs and data families: a bug?

Sebastian Fischer sebf at
Thu Apr 15 09:30:23 EDT 2010

> With GADTs, the specific choice of constructor is what gives you the
> type matching functionality.

My intention was to use a GADT as data family instance (hence, I wrote  
it in GADT style and it was accepted as such). Can't GADTs be used as  
data family instances?


Underestimating the novelty of the future is a time-honored tradition.

More information about the Glasgow-haskell-users mailing list