$error: StdIO Open-File "Arg 1 is not a Channel"