On Mon, 23 Apr 2018, Tom Ellis wrote: > And what GHC version are you using? I can't replicate this on 7.10 or 8.0. I'm on 8.2.2. Marc Busqué http://waiting-for-dev.github.io/about/