#haskell's time library is extremely future and past-proof using unbound integers: "type Year = Integer". On second thought, maybe interesting for astronomists and geologists?