Comment by green_on_black

Something something dimensional analysis is just a typechecker