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