@@ -41,7 +41,7 @@ import qualified Data.ByteString as B
4141import qualified Data.ByteString.Builder as BB
4242import qualified Data.ByteString.Char8 as BC8
4343import qualified Data.ByteString.Lazy as BL
44−import Data.Constraint (Dict(..))
44+import Data.Constraint (Constraint, Dict(..))
4545import Data.Either
4646 (partitionEithers)
4747import Data.Maybe
@@ -821,7 +821,7 @@ instance (HasContextEntry context (NamedContext name subContext), HasServer subA
821821-- Erroring instance for 'HasServer' when a combinator is not fully applied
822822instance TypeError (PartialApplication HasServer arr) => HasServer ((arr :: a -> b) :> sub) context
823823 where
824− type ServerT (arr :> sub) _ = TypeError (PartialApplication HasServer arr)
824+ type ServerT (arr :> sub) _ = TypeError (PartialApplication (HasServer :: * -> [*] -> Constraint) arr)
825825 route = error "unreachable"
826826 hoistServerWithContext _ _ _ _ = error "unreachable"
827827