Added "constructor" for IO that wraps non-value generating effectual code.