Гм... если что — прошу смеяться громко, чтобы проняло.
Имеем следующий код:

module Maps 
       where

data MapNode key value = 
                    Null
                    | Leaf key value
                    | Node (MapNode key value) key value (MapNode key value)
     deriving Show

class Map m where 
      insert :: m -> k -> v -> m
      erase :: m -> k -> m
      
data GovnoMap key value = GovnoMap { root :: MapNode key value }
     deriving Show

instance Map (GovnoMap key value)
         where
         -- insert
         insert m@(GovnoMap Null) k v = m{root=Leaf k v} -- Maps.hs:20

из которого прекрасно видно, что я изучаю язык haskell.
На это безобразие компилер (The Glorious Glasgow Haskell Compilation System, version 6.4.2) я так подозреваю законно ругается

Prelude> :r
Compiling Maps             ( Maps.hs, interpreted )

Maps.hs:20:52:
    Couldn't match the rigid variable `key' against the rigid variable `k'
      `key' is bound by the instance declaration at Maps.hs:17:0
      `k' is bound by the type signature for `insert'
      Expected type: key
      Inferred type: k
    In the first argument of `Leaf', namely `k'
    In the `root' field of a record
Failed, modules loaded: none.

Я так догадался, что он хочет на этапе компиляции (без даже примеров использования ф-ий) быть уверенным, что тип key из instance равен типу k из instance::insert, но это противоречит правилам вывода типов для обычных функций.
Требуется подсказка — как это исправить и почему в данном случае компилятор накладывает такие жесткие ограничения