Если я проверю kind из Maybe , я получу следующее: λ> :k Maybe Maybe :: * -> * Теперь, если я проверю тип Monad , я получу следующее: λ> :k Monad Monad :: (* -> *) -> Constraint Что такое Constraint и зачем он...