Семьи закрытого типа не работают должным образом

Пару часов назад я собрал GHC HEAD, чтобы поэкспериментировать с новыми блестящими семействами закрытых шрифтов.

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances #-}

type family C a b where
  C  a [a] = [a]
  C  a  a  = [a]

Теперь я пытаюсь использовать C:

class Combine a b where
  combine :: a -> b -> C a b

instance Combine a [a] where
  combine a b = a : b

instance Combine a a where
  combine a b = [a, b]

Что приводит к этой ошибке:

Couldn't match expected type ‛C a a’ with actual type ‛[a]’
...
In the expression: [a, b]
In an equation for ‛combine’: combine a b = [a, b]
In the instance declaration for ‛Combine a a’

Мне кажется, что второе уравнение отдельно от первого ([a] a не может быть упрощено до a a, каким бы ни было a), так почему оно не компилируется?