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.