Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Shuichi Yukita

という書籍が来月出るんですって?