interaction of GADTs and data families: a bug?
sebf at informatik.uni-kiel.de
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