Check -XGADTs in (a) type family decls (b) pattern matches