type Input = str;