Definition:Functor Evaluation Functor