[QUESTION] Is it possible to use Effects in PIO?

[NickSeagull]

Hello, thanks for taking the time to make this project 😄

I was wondering if there was a way of having a run : Eff a b -> PIO a function that acts the same as the run from the official Idris Prelude.

I'm currently trying to compile the following code, but I'm not able to make it typecheck:

foo : Eff () [SYSTEM, STDIO]
foo = do
  x <- getArgs
  putStrLn "Hello"

main : PIO ()
main = run foo

I get the following error:

When checking argument env to function Effects.run:
        Type mismatch between
                Env m [] (Type of [])
        and
                Env (IO' (MkFFI PyTypes String String)) [SYSTEM, STDIO] (Expected type)

        Specifically:
                Type mismatch between
                        []
                and
                        [SYSTEM, STDIO]

Any ideas?