typed-time (hackage): Simple type-safe wrapper for time's Data.Time.Format.  You are are to represent a sound formatting at type-level:
Keywords: library|time