Ho la seguente typeclass che modella un'ottimizzazione query SQL-like: class OptimizableQuery q where
type Optimized q :: *
optimize :: q -> Optimized q
instance Query q => OptimizableQuer
A volte, mi imbatto in la "caratteristica" che Haskell corrisponde solo teste di istanza, vale a dire, instance (a ~ NewDataTyp b) => C a
sarà ora adattarsi a qualsiasi tipo di sorta, cioè scrivendo
Attualmente mi sto occupando di un codice Haskell che non ho scritto, ma di cui ho apportato delle modifiche. Dopo le mie modifiche, corro il programma e ottenere il seguente messaggio di errore: Prel