>>917
0からの列挙を型だけから導出できないといけない理由は何なのさ