https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem
Там всё прекрасно, но итоговый инстанс Моноида так и не написан. Я понимаю, что его нельзя выписать из-за разных кайндов. Но вдруг можно с помощью какой-то магии всё же увидеть mempty = Identity; mappend = Compose или что-то в этом духе
для этого нужен полиморфизм по универсумам, в хаскеле такого нет
Обсуждают сегодня