coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

How has it helped in production software? Are you writing a lot of Haskell?

(2007)