какие-то удобные комбинаторы с типом наподобие Applicative f => (a -> f b) -> (a -> f c) -> a -> f c в haskell-platform?
Искал в hoogle вариации этого типа - ничего.
похоже на (&&&) и second для Kleisli
Только там будет Monad, а не Applicative
второе можно записать как liftA2 (*>)
Действительно! Спасибо 😁
Обсуждают сегодня