FunctorCategories: eval : [C,D]xC -> D