Codensity -> ContT
Labelled effects
Automatic lifting of effect operations.