Is it possible to skip some Haskell features?

In my concrete example, I have compiling Haskell code with QuickCheck properties. In order for these properties to compile, I need equality on these types. So, of course, I derived the equality instance. In this case it would be nice, since the properties won't be translated as code, if the tool would report that it cannot generate type class instances, but proceeds with the remaining part that does not depend on the Eq instance of that type.

The other "feature" I'd like to skip is a import ... hiding declaration. As I reimplemented Maybe and Identity in my code, I need to hide them to have a compiling Haskell program.