O que é restrição na assinatura em espécie

Se eu inspecionar okind doMaybe Eu entendi isso: λ> :k Maybe Maybe :: * -> *Agora, se eu inspecionar o tipo deMonad Eu entendi isso: λ> :k Monad Monad :: (* -> *) -> ConstraintO que éConstraint lá e por que é necessário? Por que não apenas ...