You might find the Squants library for Scala interesting; it even seems like an apt usage of some oft-questioned language features.

https://github.com/typelevel/squants