On Thu, Nov 12, 2020 at 12:17 AM Justin Bailey wrote:

Looking up the definition "occult" on duckduckgo (https://duckduckgo.com/?t=ffab&q=occult+definition&ia=definition) gives this response:

adj. Of, relating to, or dealing with supernatural or magical influences, agencies, or occurrences. adj. Available only to the initiate; secret or mysterious: synonym: mysterious. adj. Beyond the realm of human comprehension; inscrutable.

Doesn't seem to really apply to your type signature. If you mean in the sense of "occlusion" or "occludes", I'd be specific ("occluded effects").

Hi Justin, Thank you for heads up, it's just the nudge I need that "occult" probably isn't the right word although I had the astronomical usage in mind. My go-to solution is now "occlusive effects" unless something even better comes along.

On Tue, Nov 10, 2020 at 3:24 PM Kim-Ee Yeoh wrote:

...

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 _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

-- -- Kim-Ee