Thanks for pointing out that Jed. That’s a good input to this article, asking me to further dig into how this can be implemented ?

I am trying to see how can I save myself in these situations by writing a property based tests testing the monad laws of a composed monad. Seems to be a tough job as of now