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