I think I can forget about my hack!
Although the ocamllabs tutorial for effects in multicore doesn’t mention effects typing
…this slide deck:
http://gallium.inria.fr/seminaires/transparents/20161205.Leo.White.pdf
refers to a ‘type & effect’ system as the next logical step from algebraic effects.
It appears there’s a problem with row polymorphism but a ‘compromise’ is given in derivation detail.
Intriguingly the code samples are in teletype - an experimental implementation?
But it seems multicore is not supported on my system so unable to verify.
Is it implemented in multicore?