行列の圏のなかでモナドを探す (C A11)

別なブログに書いたが、このシリーズの記事なので、エントリーを設けてリンクだけ記述しておく。