A good type system will expose the existence of side effects. However, it is true that good type systems are very rare in industry.