Как построить значения типа Койонеды более высокого ранга в CPS?

#haskell #unification #higher-rank-types Вопрос: {-# LANGUAGE RankNTypes #-} newtype Coyoneda f a = Coyoneda { uncoyo :: forall b r. ((b -> a) -> f b -> r) -> r…