I don't follow how this approach accommodates functions whose computational cost is influenced by input data. As a minimal example, what would the "cost" annota

I don't follow how this approach accommodates functions whose computational cost is influenced by input data. As a minimal example, what would the "cost" annotation be for a tail-recursive "list length" calculation?