>>812
可変な再帰的データ構造が書けないチェッカーの何が正しいって?