This patch is a cumulative patch that includes the two listed below
+ (redefine and typesyn), and in addition fixes the following problem:
+ In the transformation of a module that defines instances of an
+ imported class whose methods are only in scope qualified, any
+ generated uses of the method names must be qualified too.
+
A Prelude entity redefined in a user module led to some overlapping
+ auxiliary functions in the hat-transformed module. This patch
+ ensures that a Prelude function is not imported if there is a
+ local redefinition.
+