[ghc-steering-committee] Simplify type synonym and type instance declarations

Dear steering committee Following discussion on !4419 and !4536, I'd like to offer this proposal for discussion Simplify type synonym and type instance declarationshttps://github.com/ghc-proposals/ghc-proposals/pull/386 I don't know how to get a stable "Rendered" link, but maybe someone can help me. Thanks Simon