возможно ли иметь связанный синоним типа с переменными, не упомянутыми в классе типов?

В Синонимы ассоциированного типа (Чакраварти, Келлер, Джонс) в статье, кажется, указывается, что допустимо следующее:

class C a where
  type S a (k :: * -> *) :: *

Однако, когда я пытаюсь запустить это, я получаю ошибку компилятора (с -XTypeFamilies ):

Not in scope: type variable `k'

Я что-то упускаю, или фактическая реализация в GHC отличается как, что упоминается в статье?