Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях.

Т.е. что-бы:
## Код:
```
force :: Kg->Acs->N
force m a = m/a
```


Радостно выдало ошибку типизации на этапе компиляции.

Т.е. работа с размерностями.