On Mon, Sep 27, 2010 at 7:13 PM, Thomas DuBuisson <thomas.dubuisson at gmail.com> wrote: > adjustM f k m == liftM (\x -> insert k x m) (f $ lookup k m ) This suggests that you don't need the Monad constraint, only Functor. -- Felipe.