Hi,<br>In C++, template can be used to enforce the dimension. For example,<br>F=m*a is OK and F=m*t will issue a compile time error.<br><br>Is there a way to do this in Haskell?<br><br>Thanks,<br>Haihua<br><br><br><span title="neteasefooter"></span><br><br><span title="neteasefooter"/></span>