Why's this printing an inferred type argument? I was under impression that `wasEmpty` handles this.