Because so many types above are m of something. You as a programmer get to decide how that m type works, so you have a lot of control there.