(b,a)) -> f a -> f b -> f c
devide f a b = contramap f (mult b a)
Это нормально,что из такого Applicative выводится и (<*>) и devide?
Это как-бы обобщение аппликатива?
у вас инвариантный функтор получился, поэтому всё выводится
Обсуждают сегодня