seems not possible to create a MonadIO instance?