Category Theory Using Haskell - An Introduction with Moggi and Yoneda - Shuichi Yukita (Springer, 2025)