std.algorithm binaryFun unification