Well #21680 (closed) reverted parts of this solution; so the issue is still present. Really wonder if not a simple main <* (hFlush stdout >> hFlush stderr)
in runMainIO
would solve this. Also this issue here could be seen as a duplicate of #11836.