Mutually recursive modules about sesterl HOT 2 OPEN

This may or may not be of use to you (I stumbled upon it when looking for something else): Pauli Jaakkola A type system for first-class recursive ML modules and https://github.com/nilern/r1ml

from sesterl.

Is this only a code organization limitation? Meaning, can't this run-time behavior be curently achieved when carefully splitting the message types (contract) and two GenServer implementations in additional modules?

edit: I've been staring at the example and indeed I don't have an immediate idea of how it could be split, so it could be an expresiveness limitation.

from sesterl.