Dear GHC developers, Probably, it is better to provide Integer or Integral a => a instead of Int in the function sizeFM :: FiniteMap k e -> Int What do you think of this? Copy, please, the answer to mechvel at botik.ru --------------------- Dr. Serge Mechveliani mechvel at botik.ru