型レベルのラムダを許すと型推論と型クラスで変なことが起こるはず
たとえば、
instance Functor (a,)
instance Functor (,a)
がある時、fmap negate (1,2)がどうなるべきか不明

逆に型推論も型クラスもないSystem Fなんかは型レべルのラムダを許す