The ada concept of "package spec" and "package body" does headers the right way.

Expose the types, and the public procedures. Users only need to see the spec during compilation.