Comment by floating-io

Of course, if you’re going to constrain your data, make sure your constraints are actually correct…

  case February => assert(value >= 1 && value <= 28)

Last time I checked, 2024 is a leap year, so Feb 29 is valid…