[Haskell-cafe] typeclass for transformation of Euclidean points