2016-01-24 Globular探り 17:サンプル作った お絵描き globular http://globular.science/1601.004v1 随伴対の左側にコモナド構造があるとき、右側にモナドを作れる。[追記] http://globular.science/1601.004v2 (間違いの訂正) [/追記]