fix Elem type family to enable sane error reporting

servant-foreign/src/Servant/Foreign.hs

@@ -1,13 +1,14 @@
-{-# LANGUAGE CPP                  #-}
+{-# LANGUAGE CPP                   #-}
-{-# LANGUAGE ConstraintKinds      #-}
+{-# LANGUAGE ConstraintKinds       #-}
-{-# LANGUAGE DataKinds            #-}
+{-# LANGUAGE DataKinds             #-}
-{-# LANGUAGE FlexibleContexts     #-}
+{-# LANGUAGE FlexibleContexts      #-}
-{-# LANGUAGE FlexibleInstances    #-}
+{-# LANGUAGE FlexibleInstances     #-}
-{-# LANGUAGE ScopedTypeVariables  #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE TemplateHaskell      #-}
+{-# LANGUAGE ScopedTypeVariables   #-}
-{-# LANGUAGE TypeFamilies         #-}
+{-# LANGUAGE TemplateHaskell       #-}
-{-# LANGUAGE TypeOperators        #-}
+{-# LANGUAGE TypeFamilies          #-}
-{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeOperators         #-}
+{-# LANGUAGE UndecidableInstances  #-}
 
 -- | Generalizes all the data needed to make code generation work with
 -- arbitrary programming languages.
@@ -140,7 +141,12 @@ captureArg                  _  = error "captureArg called on non capture"
 defReq :: Req
 defReq = Req defUrl "GET" [] False []
 
+-- | To be used exclusively as a "negative" return type/constraint
+-- by @'Elem`@ type family.
+class NotFound
+
 type family Elem (a :: *) (ls::[*]) :: Constraint where
+  Elem a '[]         = NotFound
   Elem a (a ': list) = ()
   Elem a (b ': list) = Elem a list