[mypy] disallow_untyped_defs = True