[nmrm]

> but having multiple contexts is even better.

Given the investment necessary to make this jump, I believe that the benefit outweighs the cost for most.

[j2kun]

You don't need to teach category theory proper to get the idea. So I think we are in agreement :)