From 9048581ea15c6f2bac7113de3d4f7319b80fb9c3 Mon Sep 17 00:00:00 2001
From: Mats Rauhala <mats.rauhala@iki.fi>
Date: Sun, 3 Jan 2021 00:14:52 +0200
Subject: [PATCH] Do GADT instead

---
 src/Data/Query.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Data/Query.hs b/src/Data/Query.hs
index 7d8b2e3..ad121a6 100644
--- a/src/Data/Query.hs
+++ b/src/Data/Query.hs
@@ -28,10 +28,10 @@ data Field a where
   Url :: Field String
   Title :: Field String
 
-data QueryF f
-  = forall a. StartsWith (Field a) a
-  | forall a. EndsWith (Field a) a
-  | And f f
+data QueryF f where
+  StartsWith :: Field a -> a -> QueryF f
+  EndsWith :: Field a -> a -> QueryF f
+  And :: f -> f -> QueryF f
 
 deriving instance Functor QueryF