On 1/22/21 9:25 AM, Richard Carlsson wrote: > In many normal cases, the ^-annotation can look superfluous. show me an example where annotating an *UNbound* var is not useful.