MonadUnliftIO (ExceptT e m)

unliftio.hs

-- [Control.Monad.IO.Unlift](https://hackage.haskell.org/package/unliftio-core-0.2.1.0/docs/Control-Monad-IO-Unlift.html#t:MonadUnliftIO)
-- 定義はできるがInverse lawが成り立たないのでダメ
--   withRunInIO (\_ -> throwIO e) === liftIO (throwIO e)
-- にならないといけないが、pure (Left e)になってしまう。
-- たぶんjoinの保存則も成り立たないんじゃないかな。
--
-- あと、askUnliftIOを使うとtryのスコープを抜けてしまって酷いバグになりそう。
--   askUnliftIO = withRunInIO (\run -> return (UnliftIO run))
instance (MonadUnliftIO m, Exception e) => MonadUnliftIO (ExceptT e m) where
  withRunInIO inner =
    ExceptT $
      withRunInIO @m \unlift -> try $
        inner \m ->
          unlift (runExceptT m) >>= \case
            Left e -> throwIO e
            Right b -> pure b