Hi! > How about this? > > let a' = addToFM_C (+) a x 1 in > maybe () (`seq` ()) (lookupFM a' x) `seq` a' > > It worked for me. Thank you. It works for me too, but I don't understand why and how ;-)) Could you explain? -- Alexander Kogan Institute of Applied Physics Russian Academy of Sciences