MP
Size: a a a
MP
AF
[
[
OS
[
OS
[
OS
LO
DI
DI
LO
AS
class (Monad m, ...)
=> MonadApp (settings :: *) (m :: * -> *) | m -> settings where ...
class Monad m => HasReference a m where ...
,instance (Monad m, MonadApp ServerSettings m) => HasReference ObjectID m where
И если убрать Monad m
из контекста, GHC сам не догадается чтоэтот факт следует из MonadApp ... m