Define Monad instance for I.