[impl] simple distributivity +/*