precomposition_functor