> それを含む一番外側の[]の型変数とみなされているんじゃない？
ごめん、一番内側の間違い。

つまり
A[_] = A[T] forSome {type T}
ということは
A[B[_]] = A[B[T] forSome {type T}]
となる。
つまり仮引数の型がA[B[_]]である関数に渡す実引数は
存在型A[B[T] forSome {type T}]でなければならないので
>368は型エラーになる。

言語仕様の3.2参照。