That is, make:

type T a b c = U a Int b c

syntactic sugar for:

type T a = U a Int

This would allow partial application of such type aliases.