@@ -32,6 +32,9 @@ captured _ = capture
3232instance (KnownSymbol capture, Captured a, HasServer sublayout)
3333 => HasServer (Capture capture a :> sublayout) where
3434
35+ -- this means that what follows the capture
36+ -- must necessarily be a function that expects
37+ -- the captured value. :-(
3538 type Server (Capture capture a :> sublayout) =
3639 Capture capture a :> (a -> Server sublayout)
3740