vector.hs

data Vector a = Vector a a a deriving (Show)

vplus :: (Num a) => Vector a -> Vector a -> Vector a
(Vector i j k) `vplus` (Vector l m n) = Vector (i+l) (j+m) (k+n)

dotProd :: (Num a) => Vector a -> Vector a -> a
(Vector i j k) `dotProd` (Vector l m n) = i*l + j*m + k*n

vmult :: (Num a) => Vector a -> a -> Vector a
(Vector i j k) `vmult` m = Vector (i*m) (j*m) (j*m)

値コンストラクタは引数を渡すと定義された型を返す関数？

関数なので VVector -> Int のように型宣言には使えない（ True -> Int とは書けないのと同じ。 True は型じゃない）。

ちなみにデータ型と値コンストラクタの命名は同じにするのが慣例っぽい。