type hint example