Update DiffMonad.hs