Есть ли где-то в Hackage класс, аналогичный MonadIO, но для Applicative s, что позволяет легко поднять IO действия до "applicative composition stacks" на основе IO? Если такой тип кода существовал, он
Я пытаюсь реализовать экземпляр Monad. В качестве более простого примера предположим следующее: Это должна быть стандартная реализация, возможно, насколько мне известно. Однако, это не компилируется,