7.0.x requires TypeFamilies for equality constraints, not just the GADT flag.