OK, you meant specifically the source/header split on classes in languages like C++. Yeah, there is definitely redundancy there that gets eliminated by headers.

I also think I may have been conflating "header" with "include file" to a greater degree than is appropriate.