Int構成とかしなくても、Webストーン圏は、メッセージ型がリクエストかレスポンスかの区別が極性で、その極性に関して最初からdom/codは極性付きになっている。つまり、Int構成が既に終わってる。あとはアブラムスキー流のタスキがけ対話結合を定義すればい…