Represents a synchronous, effectful action. For asynchronous-aware, effectful action, please see the Future monad.
This type no public constructors, it is abstract. A factory is provided as IO.from.
Please see here
This method is used to actually performed the described IO type.