let
(+$)r s = add r s