CompositionBiapplicative bipure. uncurried biapply2