>>376
言語仕様を読んでないから推測だけど、_は
それを含む一番外側の[]の型変数とみなされているんじゃない?