21 Dec
2015
21 Dec
'15
1:21 p.m.
Forgot to say: I confirm your observation for ghc-7.* and I checked that the imported rule *does* fire with ghc-6.10.4.