GeneralizedNewtypeDeriving non riesce per PersistFieldSql

Question

sto cercando di definire un Newtype Markdown, e l'utilizzo di GeneralizedNewtypeDeriving per definire automaticamente nuove istanze:

import Text.Markdown 
import Yesod.Text.Markdown 
import Database.Persist.Sql 

newtype MarkdownNewT = MarkdownNewT { getMarkdown :: Markdown } 
    deriving (Eq, IsString, Monoid, PersistField, PersistFieldSql) 

Questo non riesce per la PersistFieldSql con il seguente messaggio:

Could not coerce from ‘m Markdown’ to ‘m MarkdownNewT’ 
    because ‘m Markdown’ and ‘m MarkdownNewT’ are different types. 
    arising from the coercion of the method ‘sqlType’ from type 
       ‘forall (m :: * -> *). Monad m => m Markdown -> SqlType’ to type 
       ‘forall (m :: * -> *). Monad m => m MarkdownNewT -> SqlType’ 

Ciò è dovuto alle nuove funzionalità roles di GHC 7.8.2? In quel caso particolare non so cosa fare, dal momento che Markdown è di per sé un nuovo tipo su Testo ...

Oppure è collegato allo forall su sqlType? Qual è la ragione di questo errore quando tutte le altre istanze vengono derivate automaticamente con successo?

Grazie

Answer 1

Questo sembra molto simile ad alcuni degli esempi (in particolare la Vector uno) nella wiki Roles2 pagina GHC delle cose che non funzionano con il sistema attuale ruolo, ahimè.

Fondamentalmente il problema è che in

class PersistField a => PersistFieldSql a where 
    sqlType :: Monad m => m a -> SqlType 

monade m potrebbe essere istanziata con un costruttore di tipo il cui argomento è ruolo nominale, in modo che m Markdown e m MarkdownNewTnon sono identicamente rappresentata anche se Markdown e MarkdownNewT essi stessi sono - e l'attuale sistema di ruolo non ha modo di limitare m a disabilitare tali costruttori di tipi.