File:Functor.2.B.Lifting.20180711.pdf