On Sun, Aug 16, 2015 at 11:56:58AM +0200, Sven Bartscher wrote: > Can anyone still reproduce this somewhere? I just tried it in Debian > stretch and couldn't reproduce it. I can't reproduce it anymore either. I think it was a bug in GHC and 7.10 seems to have fixed it. --Daniel