Я понимаю (более или менее) стандартные монады, такие как Option (Maybe), List, State, Reader, Writer и т.д. Они универсальны и могут быть найдены в любом приложении. Другими примерами универсальных монад являются итератор, поток, сбор данных и т.д.
Теперь я хотел бы видеть моноды, специфичные для домена. Одним из примеров является Parser monad. Это не так универсально, как Option, List, State и т.д., Поскольку он инкапсулирует логику синтаксического анализа домена.
Каковы другие модные монады, которые вы можете придумать?