Is There a Side Effect in the Monad?

From the type signature, you also know if something has side effects or not. And so then you can add kind of more reasoning to the behavior of a particular function based on that. So when you say, I get this thing back that's the IRS certificate in the context of access in the internet? Now is that in the Monad returned? Is that where you see that side effect? You would see that written out pretty much as I said it in the type signature was like one line thing above the function.