File:Functor.1.A.20171219.pdf