Solution (source code)

= Solution

The <Euclidean distance> is
``
distBetween :: Point -> Point -> Double
distBetween (x,y) (u,v) = sqrt ((x-u)^2 + (y-v)^2)
``
Thus $d((x,y),(u,v))=\sqrt{(x-u)^2+(y-v)^2}$. The type synonym expands to pairs of floating-point coordinates.