interaction of GADTs and data families: a bug?

[Sebastian Fischer]

> 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?

Sebastian

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)