Type inference failed. Expected type mismatch:
required: String
found: Int