precompose_functor