Experiments with checkpointing MonadIO