Yukita S. Category Theory Using Haskell. An Introduction...2025