Remove IsIn from servant-docs

servant-docs/src/Servant/Docs/Internal.hs

@@ -43,6 +43,7 @@ import           GHC.Generics
 import           GHC.TypeLits
 import           Servant.API
 import           Servant.API.ContentTypes
+import           Servant.API.TypeLevel
 import           Servant.Utils.Links
 
 import qualified Data.HashMap.Strict        as HM
@@ -298,15 +299,6 @@ docs p = docsWithOptions p defaultDocOptions
 docsWithOptions :: HasDocs layout => Proxy layout -> DocOptions -> API
 docsWithOptions p = docsFor p (defEndpoint, defAction)
 
--- | Closed type family, check if endpoint is exactly within API.
-
--- We aren't sure what affects how an Endpoint is built up, so we require an
--- exact match.
-type family IsIn (endpoint :: *) (api :: *) :: Constraint where
-    IsIn e (sa :<|> sb)                = Or (IsIn e sa) (IsIn e sb)
-    IsIn (e :> sa) (e :> sb)           = IsIn sa sb
-    IsIn e e                           = ()
-
 -- | Create an 'ExtraInfo' that is garunteed to be within the given API layout.
 --
 -- The safety here is to ensure that you only add custom documentation to an