-> f a в forall g. Applicative g . f (g a) -> f (g a)?
у меня компилируется foo :: Applicative f => f a -> f a foo = undefined bar :: (Applicative f, Applicative g) => f (g a) -> f (g a) bar = foo или что-то посложнее нужно?
у тебя тут a разные
нужно чобы g был аппликативом
мы там удостоверились уже что a получается фантомным или комонажой
Обсуждают сегодня