[Haskell-cafe] What to call Occult Effects

Kim-Ee Yeoh ky3 at atamo.com
Tue Nov 10 23:23:01 UTC 2020

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.

Occult here refers to how the effect of the second parameter blocks the
effect of the first one.

In your opinion, is there a better word than occult to describe the
property of such monads?
-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201111/178459ac/attachment.html>

More information about the Haskell-Cafe mailing list