なぜ、[[]]が[]なのだろう？
[a] : [[]] -> [[a], ... []]にならないのだろうか？
[a]:[]はエラーな気がするのだが。