[klodolph]

I hadn't heard about the advancement with Roles, but it seems that GND is still prohibited in "Safe Haskell"?

[wyager]

You’re probably reading an old document - this restriction was removed with the introduction of roles. https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_gui...

Roles were introduced in 7.8.something, and GND was added to Safe.