Coercible con GHC 7.10

Question

Il seguente codice funziona in GHC 7.8.4:

import Data.Coerce 
coerceNewtype :: (Coercible (o r) (n m' r)) => [o r] -> [n m' r] 
coerceNewtype = coerce 

ma in 7.10 ottengo l'errore:

Couldn't match representation of type ‘n m' r’ with that of ‘o r’ 
arising from trying to show that the representations of 
    ‘[o r]’ and 
    ‘[n m' r]’ are the same 
Relevant role signatures: type role [] representational 

Io non sono abbastanza sicuro dove la magia accade in Data.Coerce, ma dato che coerce ha la firma (Coercible a b) => a -> b, penso che la funzione sopra riportata debba ancora essere compilata in 7.10. Qualche idea per cui il comportamento è diverso, o come posso usare coercible con i tipi polimorfici in 7.10?

Answer 1

Non c'è niente di sbagliato nel codice.

L'errore è dovuto a un bug nella casella di controllo del tipo. Il tracker dei problemi dice che verrà risolto in GHC 7.11.

---

^{distacco semplicemente quello di fornire una risposta, dal momento che l'autore originale non inviare uno. Sentiti libero di aggiungere dettagli se lo desideri (e se ne sono in grado).}