>>36
ごめん、まだ分かんない・・・
ググってもなかなかそれらしい記事に当たらないし（キーワードがまずいのか）。

codata が class に相当するのだとしたら、data は何に相当するの？
そしてそれらは、どのような事柄に関して双対関係があるの？