I fail to see why the types Day and Month in System.Time are instances of Bounded. In my world there is no last day and the successor of Saturday is Sunday -- not an exception! :) I would like to believe there is a good reason for this boundedness, but I can't see it.