On Mon, Jan 11, 2021 at 02:50:46PM +0100, Eugene wrote: > annotating UNbound variable will take less symbols. > far far far less. > Every time you introduce a new variable, it is unbound. Do you claim that matching an already bound variable is more common? If so, I do not agree. Cheers -- / Raimo Niskanen, Erlang/OTP, Ericsson AB