In another oddity, let’s say I use sum which calls toymapreduce. If I leave # && true commented out, sum infers fine. If I uncomment it, it does not infer fine.
But if I comment it out again, then toymapreduce infers fine but sum remains problematic. I am using Revise. Why isn’t sum picking up my changes to the function’s ability to infer?