let mul a b = bin_op a `Mult b