[Haskell-cafe] Kind synonyms

[Tom Ellis]

Is there an extension that will allow me to do

    type T = (*, *)

so I can replace

    type family F (k :: (*, *))

with 

    type family F (k :: T)

?

Tom