Re: [GHC] #13516: broken pipe when interrupting on Windows (was: broken pipe when printing infinite list (maybe interrupt handler error?))