> There's no type difference between an x-coordinate or a y-coordinate no human unit difference does not imply no type difference. Types are tools to write cor

> There's no type difference between an x-coordinate or a y-coordinate no human unit difference does not imply no type difference. Types are tools to write correct programs, we should use them at the maximum !