let
add a b = bin_op a
`
Plus
b