About Type Inherence: Friend or Foe