типы с кайндом ☆ -> ☆ и инстансом Monad. Я не очень понимаю влпрос "представить", потому что вон она эта категория. Хочется инстанс класса Category? Такое не выйдет.
если берем объекты ☆ -> ☆ и инстансом Monad и нам надо cделать функтор в категорию ендофункторов (видимо опять ☆ -> ☆ но инстансом Functor), то вроде как это тоже можно? у меня задача по лучше просто разобратся в adjunction, просто вот хочется понять прежде чем пытаться это делать это вообще более менее реализуемо, на основе той же либы https://github.com/ekmett/adjunctions/ или лучше ограничится тем, что понятно что возможно сделать через adjunction а именно State и Store?
Обсуждают сегодня