あっ、連休なんですね。そうですか。火曜日と水曜日は休日ではないので、僕はいつもと同じ。他の休日もたいして予定はないです。とはいっても、普段できない雑用みたいなことが溜まっているので、それなりにバタバタ・アタフタしそうですけど。今日になって…

じっさまが「わーい」とか喜ぶのもどうかと思いますが、「作れたらいいな」と思っていたモナドのインデックス付き圏は作れそうです。わーい。「なんだかわかんねーなー」と愚痴みたいなことをブログに書いて何の役に立つ？と思いきや、「またインデックス付…