diff --git a/src/Servant.hs b/src/Servant.hs index ffd31f83..f2bd5181 100644 --- a/src/Servant.hs +++ b/src/Servant.hs @@ -32,6 +32,9 @@ captured _ = capture instance (KnownSymbol capture, Captured a, HasServer sublayout) => HasServer (Capture capture a :> sublayout) where + -- this means that what follows the capture + -- must necessarily be a function that expects + -- the captured value. :-( type Server (Capture capture a :> sublayout) = Capture capture a :> (a -> Server sublayout)