@@ -273,8 +273,8 @@ makeLenses ''Action
273273
274274-- | Generate the docs for a given API that implements 'HasDocs'. This is the
275275-- default way to create documentation.
276−docs :: HasDocs layout => Proxy layout -> API
277−docs p = docsFor p (defEndpoint, defAction)
276+docs :: HasDocs (Canonicalize layout) => Proxy layout -> API
277+docs p = docsFor (canonicalize p) (defEndpoint, defAction)
278278
279279-- | Closed type family, check if endpoint is exactly within API.
280280
@@ -318,7 +318,7 @@ extraInfo p action =
318318-- 'extraInfo'.
319319--
320320-- If you only want to add an introduction, use 'docsWithIntros'.
321−docsWith :: HasDocs layout
321+docsWith :: HasDocs (Canonicalize layout)
322322 => [DocIntro]
323323 -> ExtraInfo layout
324324 -> Proxy layout
@@ -330,7 +330,7 @@ docsWith intros (ExtraInfo endpoints) p =
330330
331331-- | Generate the docs for a given API that implements 'HasDocs' with with any
332332-- number of introduction(s)
333−docsWithIntros :: HasDocs layout => [DocIntro] -> Proxy layout -> API
333+docsWithIntros :: HasDocs (Canonicalize layout) => [DocIntro] -> Proxy layout -> API
334334docsWithIntros intros = docsWith intros mempty
335335
336336-- | The class that abstracts away the impact of API combinators