Haskell doesn't allow partially applied type synonyms ever since deciding equality between a type and a partially applied type synonym is equivalent to deciding whether two functions are equal. This is undecidable in general.
Recall that type synonyms are type level functions (that happen to be parametric in their arguments).
This is why it's generally encouraged to rely on partial application as much as possible in the definition of a type synonym. Though this doesn't seem possible in your case.