Implement cheaper kind inference using data debt