pure_f_<*>_m1_<*>_m2