Is there a way to express the following Hugs (Gofer) Haskell extension in GHC?

From the Hugs User's Manual, "Section 7.3.5 Restricted type synonyms"

GHC doesn't support restricted type synonyms, sorry. Cheers, Simon