Type hint contract.