@@ -116,6 +116,10 @@ import Servant.API.TypeLevel
116 (AtLeastOneFragment, FragmentUnique)
116 (AtLeastOneFragment, FragmentUnique)
118class HasServer api context where
118class HasServer api context where
119+ -- | The type of a server for this API, given a monad to run effects in.
121+ -- Note that the result kind is @*@, so it is /not/ a monad transformer, unlike
122+ -- what the @T@ in the name might suggest.
119 type ServerT api (m :: * -> *) :: *
123 type ServerT api (m :: * -> *) :: *