Yeah, there's Dimensional package, and I've seen people using algebraic data types, or (RWH) a Units type http://necrobious.blogspot.com/2009/03/fun-example-of

Yeah, there's Dimensional package, and I've seen people using algebraic data types, or (RWH) a Units type http://necrobious.blogspot.com/2009/03/fun-example-of-haskells-newtype.html http://necrobious.blogspot.com/2009/03/fun-example-of-haskel... http://flygdynamikern.blogspot.com/2011/04/announce-dimensional-09.html http://flygdynamikern.blogspot.com/2011/04/announce-dimensio... http://book.realworldhaskell.org/read/data-structures.html#x_xF1 http://book.realworldhaskell.org/read/data-structures.html#x...