typed-process

Please see the tutorial at https://haskell-lang.org/library/typed-process