UnitTyped is a Haskell library for type-safe calculations on numbers with units.