Evaluate argument expressions before invoking a function. A monadic interpreter must also specify the order of those evaluations when its computational monad represents effects.
New to topics? Read the docs here!
New to topics? Read the docs here!