Units of measure as a GHC typechecker plugin