So is Java with `LocalDateTime` and `ZonedDateTime`, a very useful example of making your typesystem work for you.