Following #323, the behavior of evaluate is type-directed. To facilitate application-specific extensions, we should make it a singledispatch function so that its behavior can be extended in downstream code without requiring changes like #355 to effectful itself.
Following #323, the behavior of
evaluateis type-directed. To facilitate application-specific extensions, we should make it asingledispatchfunction so that its behavior can be extended in downstream code without requiring changes like #355 toeffectfulitself.