haskell - Haskellで空のベクトルをパターンマッチさせる方法は?

Question

パターン マッチングを使用してリストの長さ関数を実装したい場合、次のようなことができます。

length' :: (Num b) => [a] -> b  
length' [] = 0  
length' (_:xs) = 1 + length' xs  

sで同様のことができますVectorか？