- **Added:**
  Enable canonical `fun _ => _` projections,
  see :ref:`canonicalstructures` for details.
  (`#14041 <https://github.com/coq/coq/pull/14041>`_,
  by Jan-Oliver Kaiser and Pierre Roux,
  reviewed by Cyril Cohen and Enrico Tassi).