Roles were cooked up to address the fact that currently, its possible to derive unsafeCoerce via  the use of Generalized Newtype Deriving. Roles address that issue and close that type safety hole. Richard has a paper or so on it, and theres some pretty extensive documentation/examples on the ghc wiki/trac  (though perhaps a more extensive exposition for normal haskellers is called for too?)