[Haskell-cafe] Can Haskell enforce the dimension?

[Edward Z. Yang]

Excerpts from Haihua's message of Fri Apr 09 12:28:23 -0400 2010:
> In C++, template can be used to enforce the dimension. For example,
> F=m*a is OK and F=m*t will issue a compile time error.
> 
> Is there a way to do this in Haskell?

http://hackage.haskell.org/package/dimensional

Cheers,
Edward