$error: StdIO Read! "Channel is not open"