The RebindableSyntax extension

The RebindableSyntax GHC extension …

This part of the Type Classes guide to GHC extensions is not yet written; for now we refer you to the GHC manual.