@@ -12,7 +12,7 @@ instance (Eq a, forall b. (Eq b) => Eq (f b))
...
@@ -12,7 +12,7 @@ instance (Eq a, forall b. (Eq b) => Eq (f b))
```
```
The new bit is the `forall` in the context of the instance declaration.
The new bit is the `forall` in the context of the instance declaration. This is allowed in GHC 8.6 and later using the `QuantifiedConstraints` extension.