That’s because str is not a meaningful effect, so we wouldn’t say that a function is “str-colored.” Function coloring is indeed confusing, which is why I’ve be

That’s because str is not a meaningful effect, so we wouldn’t say that a function is “str-colored.” Function coloring is indeed confusing, which is why I’ve been trying to ground this on effects instead. Effects are IMO easier to understand, and this is a straightforward example of effect typing.