I use it in test suites, where the tests are simply to check that something compiles, not its behaviour, for example https://github.com/tomjaguarpaw/product-pro

I use it in test suites, where the tests are simply to check that something compiles, not its behaviour, for example https://github.com/tomjaguarpaw/product-profunctors/blob/faf52f0a134099ed8adb6b29ea822d48920e7ac3/Test/Main.hs#L1 https://github.com/tomjaguarpaw/product-profunctors/blob/faf... I had also thought that there was a reason one could need that pattern to import instances even in the absence of orphans, but on reflection I think I was mistaken.