Часто у вас есть что-то вроде аппликативного без чистого слова или что-то вроде монады, но без возврата. Пакет полугруппоид охватывает эти случаи с помощью Apply и Bind. Теперь я нахожусь в подобном ...

Я просматривал некоторые учебные пособия по Arrow, играя с функциями, возвращающими новую версию самих себя в попытке сохранить какое-то состояние. Новый тип определяется так: newtype Circuit a b = ...

Если я узнаю, что что-то является моноидом или монадой, у меня есть все, чтобы использовать всевозможные забавные функции, такие как foldMap, sequence или даже mapM. Они делают меня счастливым. Что я получу, если узнаю, что что-то ...