Servant.Swagger.TypeLevel

type family IsSubAPI sub api :: Constraint where ...

type family EndpointsList api where ...

type BodyTypes c api