Pensez-vous qu'un transformateur proxy gratuit est possible? Quelque chose comme data FreePT f p a' a b' b m r = ....
instance (Proxy p,Functor f) => Proxy (FreePT f p) where
....
instance (F
Peut-il y avoir un mécanisme de type mtl pour les transformateurs monad créés par FreeT/ProgramT? Ma compréhension de l'histoire est la suivante. Il était une fois un transformateur monad a été invent