以前の..<0, 0, 0<..もですけど評価しないと網羅性の保証ができないのはどうなんだろうと思います。