Add a test

mihaimaruseac · Mar 16, 2024 · fcc0baf · fcc0baf
1 parent 7187b33
commit fcc0baf
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/TESTS.md b/TESTS.md
@@ -863,13 +863,21 @@ data Link c1 c2 a c =
             Link (Proxy b)
 ```
 
-With an infix constructor
+With an infix constructor without a `forall`
 
 ```haskell
 data Foo =
   Eq a => a :== a
 ```
 
+With an infix constructor with a `forall`
+
+```haskell
+data Foo =
+  forall a. Eq a =>
+            a :== a
+```
+
 #### Derivings
 
 With a single constructor