@@ -20,7 +20,7 @@
2020-- >>>
2121-- >>>
2222-- >>>
23−-- >>> type Hello = "hello" :> Get Int
23+-- >>> type Hello = "hello" :> Get '[JSON] Int
2424-- >>> type Bye = "bye" :> QueryParam "name" String :> Delete
2525-- >>> type API = Hello :<|> Bye
2626-- >>> let api = Proxy :: Proxy API
@@ -40,7 +40,7 @@
4040-- function that accepts that input and generates a link. This is best shown
4141-- with an example. Here, a link is generated with no parameters:
4242--
43−-- >>> let hello = Proxy :: Proxy ("hello" :> Get Int)
43+-- >>> let hello = Proxy :: Proxy ("hello" :> Get '[JSON] Int)
4444-- >>> print (safeLink api hello :: URI)
4545-- hello
4646--
@@ -74,7 +74,7 @@
7474-- <BLANKLINE>
7575-- <interactive>:64:1:
7676-- Could not deduce (Or
77−-- (IsElem' Delete (Get Int))
77+-- (IsElem' Delete (Get '[JSON] Int))
7878-- (IsElem'
7979-- ("hello" :> Delete)
8080-- ("bye" :> (QueryParam "name" String :> Delete))))