would:

`toTimestamp[Intr[BatchID] <: Interval[BatchID]](b: Intr[BatchID]): Intr[Timestamp]`

allow you to get rid of the cast inside the method?