Codensity monad

ID: codensity-monad

New to topics? Read the docs here!