The left and right identity laws and the associativity law for a computational monad. They justify regrouping sequencing while preserving the order and multiplicity of effects.
New to topics? Read the docs here!
New to topics? Read the docs here!