<meta charset="utf-8">I was wondering if someone could explain why two absurd lambdas of the same type are not equal. I'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>