-> c -> x) -> (b -> d -> y) -> (a, b) -> (c, d) -> (x, y)
tuplift f g (a, b) (c, d) = (f a c, g b d)
Есть ли для этого подходящая абстракция ?
tuplift f g = (uncurry (***)) . (f *** g)
Обсуждают сегодня