Keith, thanks for [the explanation](https://forum.azimuthproject.org/discussion/comment/18657/#Comment_18657), but I'm failing to see where does the \$$\mathbf{Cost}\$$-category come into play in puzzle 95.
As far as I understood, we need to prove that \$$f\$$ is a mapping between two monoidal preorders;
why do we need enriched categories to prove that \$$f\$$ is a monoidal monotone? Or did I misunderstand the problem statement?