forgetfull_functor