Correctly type hint construct