There actually is such a thing as reverse SAD, although it's much more unusual than regular SAD. And I've got it. I get very energized as we go into fall (well, not so much this year with the Virus, but in general) and come mid-summer I can barely be arsed about anything. I forget what the real name for it is.