From 738b9a8e9fa370022be66b4f2ef03ab7b1087f43 Mon Sep 17 00:00:00 2001
From: aaron levin <aaron.levin@soundcloud.com>
Date: Sun, 24 Jan 2016 22:31:17 +0100
Subject: [PATCH] Use GADTs-style record selectors for Delayed

---
 .../Server/Internal/RoutingApplication.hs     | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

diff --git a/servant-server/src/Servant/Server/Internal/RoutingApplication.hs b/servant-server/src/Servant/Server/Internal/RoutingApplication.hs
index 33b3cfbd..7125c738 100644
--- a/servant-server/src/Servant/Server/Internal/RoutingApplication.hs
+++ b/servant-server/src/Servant/Server/Internal/RoutingApplication.hs
@@ -1,12 +1,7 @@
 {-# LANGUAGE CPP                        #-}
 {-# LANGUAGE DeriveFunctor              #-}
-{-# LANGUAGE ExistentialQuantification  #-}
-{-# LANGUAGE OverloadedStrings          #-}
-{-# LANGUAGE TypeOperators              #-}
 {-# LANGUAGE GADTs                      #-}
-{-# LANGUAGE KindSignatures             #-}
 {-# LANGUAGE RecordWildCards            #-}
-{-# LANGUAGE StandaloneDeriving         #-}
 module Servant.Server.Internal.RoutingApplication where
 
 #if !MIN_VERSION_base(4,8,0)
@@ -154,13 +149,13 @@ toApplication ra request respond = do
 -- The accept header check can be performed as the final
 -- computation in this block. It can cause a 406.
 --
-data Delayed c = forall captures auth body. Delayed
-  { capturesD :: IO (RouteResult captures)
-  , methodD   :: IO (RouteResult ())
-  , authD     :: IO (RouteResult auth)
-  , bodyD     :: IO (RouteResult body)
-  , serverD   :: (captures -> auth -> body -> RouteResult c)
-  }
+data Delayed c where
+  Delayed :: { capturesD :: IO (RouteResult captures)
+             , methodD   :: IO (RouteResult ())
+             , authD     :: IO (RouteResult auth)
+             , bodyD     :: IO (RouteResult body)
+             , serverD   :: (captures -> auth -> body -> RouteResult c)
+             } -> Delayed c
 
 instance Functor Delayed where
    fmap f Delayed{..}