типо для отлова ошибок,а вместо mempty можно было поставить Just mempty.
Там Maybe Int? И какой у Int mempty?
Так нельзя, законы не выполняются
потому что у Monoid Maybe логика такая: он только добавляет нейтральный элемент, а операцию перебрасывает на нижележащий тип "Maybe типо для отлова ошибок" — неверно
Обсуждают сегодня