@@ -47,6 +47,8 @@ instance (KnownSymbol capture, Captured a, HasServer sublayout)
4747 }
4848 _ -> return Nothing
4949
50+-- * Example
51+
5052type TestApi = "hello" :> Capture "name" Text :> Get Greet
5153
5254testApi :: Proxy TestApi
@@ -59,8 +61,8 @@ instance ToJSON Greet
5961
6062server :: Server TestApi
6163server =
62− (Proxy :: Proxy "hello")
63− :> (Proxy :: Proxy (Capture "name" Text))
64+ Proxy -- :: Proxy "hello"
65+ :> Proxy -- :: Proxy (Capture "name" Text)
6466 :> (return . func)
6567
6668 where func name = Greet ("Hello, " <> name)