I am happy to announce the first release of typed-process-effectful, a binding of the typed-process package for the effectful effect system. The code has been on Github for a while now but was not released on Hackage until now.
Example usage:
import Effectful.Monad
import Effectful.Process.Typed
main :: IO ()
main = runEff . runTypedProcess $ true
true :: TypedProcess :> es => Eff es ()
true = Effectful.Process.Typed.runProcess_ $ shell "true"