В разных вопросах я нашел подсказки в комментариях относительно использования экземпляра (->)
Monads, например. для реализации точечного стиля.
Что касается меня, это немного абстрактно. Хорошо, я видел экземпляры Arrow на (->)
, и мне кажется, что (->)
может использоваться в нотации экземпляра, но не в объявлениях типа (это было бы только вещество для другого вопроса).
Есть ли примеры с использованием (->)
в качестве экземпляра Monad? Или хорошая ссылка?
Извините, если этот вопрос, возможно, уже обсуждался здесь, но поиск "(->)
Monad instance" дает вам много хитов, как вы можете себе представить... поскольку почти каждый вопрос о Haskell где-то включает (->)
или "Monad".