一言でいうと、Comonadからcopoint*1を除いたものです。 *1:またの名をextract
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。