solve 1_Functor