File:Functor.1.A.20170715.pdf