Comment out non-working code in IMonad.v