¿Cómo factorizar la mónada de continuación en adjuntos izquierdo y derecho?
Como State mónada se puede factorizar en Producto (Izquierda - Functor) y Lector (Derecha - Representable). ¿Hay alguna manera de factorizar la Mónada de Continuación? El siguiente código es mi intento, que no escribirá cheque -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, …