Type hint for fun and profit, but mostly fun.