From 4add91425121306f455f4ea48acf92909211c336 Mon Sep 17 00:00:00 2001
From: aaron levin <aaron.levin@soundcloud.com>
Date: Fri, 8 Jan 2016 12:10:11 +0100
Subject: [PATCH] Specify kinds in BasicAuth and AuthProtect

---
 servant/src/Servant/API/Auth.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/servant/src/Servant/API/Auth.hs b/servant/src/Servant/API/Auth.hs
index 72ac1332..88819779 100644
--- a/servant/src/Servant/API/Auth.hs
+++ b/servant/src/Servant/API/Auth.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE KindSignatures     #-}
+{-# LANGUAGE PolyKinds          #-}
 module Servant.API.Auth where
 
 import           Data.Typeable (Typeable)
@@ -16,9 +17,9 @@ import           GHC.TypeLits  (Symbol)
 -- In Basic Auth, username and password are base64-encoded and transmitted via
 -- the @Authorization@ header. Handshakes are not required, making it
 -- relatively efficient.
-data BasicAuth (realm :: Symbol) usr
+data BasicAuth (realm :: Symbol) (usr :: *)
   deriving (Typeable)
 
 -- | A generalized Authentication combinator.
-data AuthProtect tag usr
+data AuthProtect (tag :: k) (usr :: *)
   deriving (Typeable)