о, я исправил это ... спасибо!
newtype Vector2 a = Vector2 (a,a)
deriving (Show,Eq)
class VectorSpace v where
vZero :: (Num a) => v a
vSum :: (Num a) => v a -> v a -> v a
vScalarProd :: (Num a) => a -> v a -> v a
vMagnitude :: (Floating a) => v a -> a
одимо определить для Vector2 экземпляры класса VectorSpace.