a=>fn(a) b=>c e=>fn(f) ???