कुंजी-मान के साथ हास्केल द्विआधारी पेड़

(कश्मीर, वी) टपल साथ मूल्य लीफ़्स - मैं कुंजी के साथ द्विआधारी पेड़ का निर्माण करना चाहते।

मेरे कोड:

data Tree k v = EmptyTree 
                | Node (k, v) (Tree k v) (Tree k v)
                deriving (Show, Eq, Ord, Read)

emptyTree :: (k,v) -> Tree k v  
emptyTree (k,v) = Node (k, v) EmptyTree EmptyTree

treeInsert :: (Ord k) => (k,v) -> Tree k v -> Tree k v
treeInsert (k,v) EmptyTree = emptyTree (k, v)
treeInsert (a, b) (Node (k,v) left right) 
        | a == k = (Node (a,b) left right)
        | a < k = (Node (a, b) (treeInsert (a, b) left) right)   
        | a > k = (Node (a, b) left (treeInsert (a, b) right))

अब मैं इस पेड़ को भरने के लिए कोशिश कर रहा हूँ:

fillTree :: Int -> Tree k v -> Tree k v
fillTree x tree = treeInsert (x, x) tree

लेकिन मैं इस त्रुटि मिलती है:

Couldn't match type `v' with `Int'
      `v' is a rigid type variable bound by
          the type signature for fillTree :: Int -> Tree k v -> Tree k v

कारण क्या है और मैं इसे कैसे ठीक कर सकते हैं?