Я, вероятно, облажался, учитывая, что я набрал все это с манжеты и переименовал альфа примерно на полпути, чтобы было легче увидеть переписанные тексты.

зные вопросы я нашел подсказки в комментариях относительно использования(->) пример монад, например для реализации бессмысленного стиля.

Что касается меня, это слишком абстрактно. Хорошо, я видел экземпляры Arrow на(->) и мне кажется, что(->) может использоваться в нотациях экземпляров, но не в объявлениях типов (это само по себе было бы проблемой для другого вопроса).

Есть ли примеры использования(->) как пример монады? Или хорошая ссылка?

Извините, если этот вопрос уже обсуждался здесь, но вы ищете"(->) Монадный экземпляр " дает вам много хитов, как вы можете себе представить ... так как почти каждый вопрос о Haskell где-то включает в себя(->) или "Монада".

Ответы на вопрос(2)

Ваш ответ на вопрос