Haskell - un modo per disattivare la sintassi rebindable per il caso di istanze `derivanti`?

Question

C'è una "caratteristica" fastidiosa che le istanze derivate sono anche influenzate dall'estensione RebindableSyntax. Esempio di ciò che voglio scrivere:

{-# LANGUAGE RebindableSyntax #-} 
import qualified Prelude 
data Color = Red | Green | Blue | Periwinkle | Fuschia deriving (Prelude.Eq, Prelude.Ord) 

Questo esce con l'errore "Non nel campo di applicazione:` ifThenElse'".

Answer 1

Sembra una disfunzione per me - la clausola deriving è piena di magia incorporata comunque, quindi sono scettico sul fatto che le istanze derivate che usano la sintassi di rimbalzo sarebbero utili nella pratica. Ora, se si potesse anche riassociare la clausola deriving e usare invece una giunzione TH ... ma sto divagando.

Sospetto che la soluzione più semplice e semplice sia l'utilizzo di moduli diversi. Inserire la definizione del tipo di dati nel proprio modulo, utilizzare la clausola deriving con le funzioni Prelude in ambito, quindi importare il tipo nel modulo usando la sintassi rebindable. Se hai bisogno di ulteriore modularità nei tuoi moduli, nota anche che StandaloneDeriving esiste e ti consente di definire i tipi in un modulo (con RebindableSyntax attivo), derivare le istanze in un altro modulo (senza RebindableSyntax) e importarli entrambi dai moduli che effettivamente usano Il tipo.