Heh heh, that paper also got linked on this current thread. Yes, section 6.4 and the ghc-devs thread shows there were really gnarly decisions about defaulting roles.
Edit: (in response to @atravers raised eyebrow) I mean the Ghost of Departed Proofs paper at the link, section 1.6 relies on roles/coercions.