@@ -41,7 +41,7 @@ import qualified Data.ByteString as B
41import qualified Data.ByteString.Builder as BB
41import qualified Data.ByteString.Builder as BB
42import qualified Data.ByteString.Char8 as BC8
42import qualified Data.ByteString.Char8 as BC8
43import qualified Data.ByteString.Lazy as BL
43import qualified Data.ByteString.Lazy as BL
44−import Data.Constraint (Dict(..))
44+import Data.Constraint (Constraint, Dict(..))
45import Data.Either
45import Data.Either
46 (partitionEithers)
46 (partitionEithers)
47import Data.Maybe
47import Data.Maybe
@@ -821,7 +821,7 @@ instance (HasContextEntry context (NamedContext name subContext), HasServer subA
821-- Erroring instance for 'HasServer' when a combinator is not fully applied
821-- Erroring instance for 'HasServer' when a combinator is not fully applied
822instance TypeError (PartialApplication HasServer arr) => HasServer ((arr :: a -> b) :> sub) context
822instance TypeError (PartialApplication HasServer arr) => HasServer ((arr :: a -> b) :> sub) context
824− type ServerT (arr :> sub) _ = TypeError (PartialApplication HasServer arr)
824+ type ServerT (arr :> sub) _ = TypeError (PartialApplication (HasServer :: * -> [*] -> Constraint) arr)
825 route = error "unreachable"
825 route = error "unreachable"
826 hoistServerWithContext _ _ _ _ = error "unreachable"
826 hoistServerWithContext _ _ _ _ = error "unreachable"