実際にswitch caseなりでダウンキャストができないのでは？

うーん、 Kotlin だとパターンマッチがないからできない気がするけど、パターンマッチがあれば型を明記しなくても head と tail にマッチングできないかな？