今の Countable って条件は要素が Strideable だっけ？