Мы можем написать отдельные комплексные экземпляры для параметров типа * : class MyClass d where f :: d -> Int instance MyClass (Maybe d) where f _ = 3 test1 :: Maybe d -> Int test1 x = f x Это компилируется просто отлично,...

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