<div>On Thu, Nov 12, 2020 at 12:17 AM Justin Bailey <<a href="mailto:jgbailey@gmail.com">jgbailey@gmail.com</a>> wrote:<br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Looking up the definition "occult" on duckduckgo<br>
(<a href="https://duckduckgo.com/?t=ffab&q=occult+definition&ia=definition" rel="noreferrer" target="_blank">https://duckduckgo.com/?t=ffab&q=occult+definition&ia=definition</a>)<br>
gives this response:<br>
<br>
  adj. Of, relating to, or dealing with supernatural or magical<br>
influences, agencies, or occurrences.<br>
  adj. Available only to the initiate; secret or mysterious: synonym:<br>
mysterious.<br>
  adj. Beyond the realm of human comprehension; inscrutable.<br>
<br>
Doesn't seem to really apply to your type signature. If you mean in<br>
the sense of "occlusion" or "occludes", I'd be specific ("occluded<br>
effects").</blockquote><div dir="auto"><br></div><div dir="auto">Hi Justin,</div><div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">My go-to solution is now "occlusive effects" unless something even better comes along.</div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)" dir="auto"><br>
<br>
On Tue, Nov 10, 2020 at 3:24 PM Kim-Ee Yeoh <<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.com</a>> wrote:<br>
><br>
> 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.<br>
><br>
> Occult here refers to how the effect of the second parameter blocks the effect of the first one.<br>
><br>
> In your opinion, is there a better word than occult to describe the property of such monads?<br>
> --<br>
> -- Kim-Ee<br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
</blockquote></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">-- Kim-Ee</div>