Commit 2026-02-26 20:37 9947c140

chore(CategoryTheory): make Kleisli and Cokleisli one-field structures (#35793) The Kleisli category of a monad was defined as a direct type alias. We make it a one-field structure for better type hygiene. This removes the set_option backward.isDefEq.respectTransparency false in in this file.