Agda.Utils.Time
type
ClockTime
getClockTime