<div dir="auto">By an occult effect I mean that under the type signature (M a -> M b -> M b) of a particular monad M, the two expressions (const id) and (liftM2 $ const id) are equivalent.</div><div dir="auto"><br></div><div dir="auto">Occult here refers to how the effect of the second parameter blocks the effect of the first one.</div><div dir="auto"><br></div><div dir="auto">In your opinion, is there a better word than occult to describe the property of such monads?</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">-- Kim-Ee</div>