<meta charset="utf-8">I was wondering if someone could explain why two absurd lambdas of the same type are not equal. I&#39;ve run into issues with this several times, when proving things about definitions that involve them, and am just curious what the motivation for this is.<div>
<br></div><div>Thanks,</div><div>Dan</div>