Как использовать ( ->) экземпляры Монад и путаница в отношении (->)

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

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

Есть ли у кого-нибудь примеры, использующие (->) в качестве экземпляра Monad? Или хорошая ссылка?

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