Run.hs

{-# language NoImplicitPrelude, ScopedTypeVariables, TypeApplications #-}

import Relude
import Control.Monad.Trans.Resource
import List.Transformer

class Run f where
    run :: f a -> IO ()

instance Run IO where
    run action = do
        _ <- action
        return ()

instance (Run m, MonadUnliftIO m) => Run (ResourceT m) where
    run action = run @m (runResourceT @m action)

instance (Run m, Monad m) => Run (ListT m) where
    run action = run @m (runListT @m action)

instance (Run m, Monad m) => Run (MaybeT m) where
    run action = run @m do
        _ <- runMaybeT @m action
        return ()