Updated tutorial to use new `MonadIO` type signatures