オレオレ用語で分かりにくくて、すまんかった。共通の言葉遣いは大事だよね。データ構築子はdata Hoge a = Hoge ... の奴でいいよね？

ところでさ、ライブラリを作っていて、データの内部表現を公開したくない時があるじゃない？
あとでチューニングしたいときとか。そういう時にデータがモナドなら主に ... -> Hoge a を、コモナドなら Hoge a -> ... を提供する。
return / extract に加えて。

理由は、えー…　逆だと使いづらいから。
(たとえばMaybeなら、fromJustってあんまり使わないでしょ？)