Element-wise law
Element-free law
Monad morphism:
の要件は、
であった。
Element-wise law
一方、Control.Monad.Morphでは、
morph . (f >=> g) = morph . f >=> morph . g morph . return = return
となっていて、あれ?と思ってしまったが、 これはElement - PSの命題:
および、これを一般化した命題:
を利用したもの(と思う)。