プログラミング言語Egison

[45 デフォルトの名無しさん 2013/11/03(日) 00:28:36.78]

マニュアルの中の例で、
> (match-all {1 2 3 4} (list integer)
[<cons $x $xs> [x xs]])
{[1 {2 3 4}]}

は、なんで{[1 [2 3 4]]}ではないの？
list integerとするならcdr側の$xsもlist integerにならないの？