ユーザの入力した数 n に等しい長さのリンクリストとか作ると破綻するよね < 静的解析
Region inferenceとかどうなってるんだ