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