for C, D being category
for F being Functor of C,D st F is covariant holds
F is_natural_transformation_of F,F