This, 100%. Infrastructure by definition is supposed to be stable with well established interfaces, this is a perfect match for types. Business logic is const

This, 100%. Infrastructure by definition is supposed to be stable with well established interfaces, this is a perfect match for types. Business logic is constantly evolving, focusing too much on types will cause you to be disconnected from business value and you'll just waste time fighting typing system.