Contexts in Type synonyms

[Michial Gunter]

I have recently come to want to declare type synonyms with a
context, e.g.

> type Ord a => Badness = a    


This is not permitted in Haskell, while

> data Ord a => Badness a = Badness a

is allowed.


Why are contexts disallowed in type synonyms?


        thanks,
        mike gunter