Area Model for Distributive Laws 分配律的面積模型