Why are you skeptical on point 1? For anything more complex than standard static type checking[], they're almost certainly correct. [] or, say, Haskell-level

Why are you skeptical on point 1? For anything more complex than standard static type checking[], they're almost certainly correct. [] or, say, Haskell-level type checking. Which admittedly, AWS is not doing.