main :: IO () main = do args <- getArgsWithResponseFiles putStrLn (show args)And a response file args.txt:
--one 1 --'two' 2 --"three" 3Then the result of invoking foo with args.txt is:
> ./foo @args.txt ["--one","1","--two","2","--three","3"]
>>> :{ let beans = fromDynList [toDyn @Int 5, toDyn False] args = (,) <$> arg @Int <*> arg @Bool in (getArgsReps args, runArgs (taste beans) args) :} (fromList [Int,Bool],(5,False))