Conforming types are notionally continuous, one-dimensional values that can be offset and measured.

8:29 AM

offsetが進んだり戻ったりでmeasuredは距離が測れるってことかな