Control.Monad.Codensity
data Codensity m a