f => (a -> f b) -> t a -> f (t b)
Зачем там требовать Applicative, когда можно спросить монаду?
Что такого замечательного можно сделать аппликативом, чего нельзя сделать монадами?
не каждая структура может быть монадой, но чаще может быть аппликативом
апликативы можно скомпозить, а монады нельзя
Concurrently, например. не знаю, селектив ли оно
Обсуждают сегодня