Abstract over and guard against external messy systems at the boundaries. Static types help with this just as much as enforcing invariants and consistency, at l

Abstract over and guard against external messy systems at the boundaries. Static types help with this just as much as enforcing invariants and consistency, at least with a good language.