Hey, I don’t think this has already been mentioned here but I remember being pretty hyped by the post of @Herteby here a few months back about his work on type-safe dates and time: Typesafe unified Date and Time package using phantom record types. I haven’t used it personally though.