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