çoğaltmak Bağlamın değeri). Neden sadece dönüşünde Monad'da bir şey kullanmıyorsunuz? Örnek (fermuar): data Z a = Z [a] a [a]
duplicate z = Z [] z []
Ben Comonad kurallarından fonksiyonunu çoğal
data Tree t = Empty | Node t (Tree t) (Tree t)
Biz Funktör örneği oluşturun ve fmap :: (t -> a) -> Tree t -> Tree a
kullanmak Ama ne yerine if (t -> a) İstediğim (Ağaç t -> a) bu yüzden bir bütün