I was playing with the AST's typechecked tree, and found some examples of the subject, but can't tell what is the rule for that to occur. It was a local binding. Do you have a hint and/or a minimal example? Thanks! Robin