Inductive month : Set := | January : month | February : month | March : month | April : month | May : month | June : month | July : month | August : month | September : month | October : month | November : month | December : month .