When something is enforced on type level it doesn't require your memory and usually doesn't require computation.

As of lately I came to think that being explicit is mostly better than being expressive. So in this case stating all the units might work better than having a concise progtam.