+RTS -S -RTS now sends output to stderr (also -s)