Now between fibers and effectual types one could implement an Erlang interpreter pretty readily. That’d be interesting! Or perhaps port or create a system simi

Now between fibers and effectual types one could implement an Erlang interpreter pretty readily. That’d be interesting! Or perhaps port or create a system similar to OTP using the effects, fibers, and threads.