Update TermMonad.hs