Codensity Lifting of Monads and its Dual (Logical Methods in Computer Science, 2018)