The abstract data type Distance, implemented in the module Geometry.htmlGeometry, represents distances in HTK. Distances can be specified in cm, mm, ic (inches) and pp (points), with functions cm:: Int-> Distance etc. Moreover, Distance is an instance of Num, so we can specify the distance 3 (meaning 3 pixels) directly.