| | simonpj writes there: | > Manuel is about to nuke the old GADT stuff in favour of the new type- | family | > stuff. | | This doesn’t mean that GADTs are being dropped in favor of type | families, does | it? |
No... it's an implementation matter only, invisible to programmers Simon
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users