The current code doesn't have type annotations. It would be an improvement if they were added.