let
mul a b = bin_op a
`
Mult
b