Add more rewrite rules involving zipWith. In the long term vectorisation avoidance will achieve the same result, and we won't need these rules.
Add more rewrite rules involving zipWith. In the long term vectorisation avoidance will achieve the same result, and we won't need these rules.

mainland/dph,mainland/dph,mainland/dph