CCFun.on_top_of (binary composition)