> the more precise I try to make the types at an interface, the more I need to cast in the internals

Isn't that exactly why you use types to begin with?