Building blocks for precise type hints
