пример, сразу говорю)
я думаю какой-нибудь empty из Alternative на самом деле должен быть empty :: m Void который через fmap absurd превращался бы уже в m a но я не уверен поэтому всякие парсеры которые ничего не парсят - Parser Void, всякие Maybe-результаты, где точно нет Just - Maybe Void, тд
Обсуждают сегодня