[protomikron]

This is also interesting. I expect there is some connection between this and the mentioned effect systems, at least their goals seem to overlap.