validity-time-0.5.0.0: Validity instances for time