solve most of 1_Functor (by akouryy)