まずは幾何っぽい話から。境界または角（かど）を許す多様体の圏を考える。Mが多様体なら、境界や角でない点の全体をM○ とする。M○ はMの内部。M |→ M○ は関手にはならないが、f:M→N で M○⊆N○ となるような写像だけの圏を考える。あたりまえだが、この状況で…

HTTPヘッダのような形式とJSONの折衷案。フィールドの値がJSONで書けるとけっこう便利だと思う。あと、2つのヘッダ（フィールドの集まり）をマージするアルゴリズムも何種類か考える必要がある。

Cがモノイド圏として、Mがモノイド圏Cのモノイド対象のとき、X×M（×は直積とは限らない）によりC上のモノイダルスタンピングモナドができる。×が直積ではない例として： 直和による自明なモノイド（フォールド・モノイド）を使うと、例外モナドになる。 ベク…

remote get "http://weather.example.jp/tokyo/today" とか。