IO monad leaks assumption about binding behavior

[ddickstein]

The lsp library abstracts over an Io monad with a write implementation, but it invokes write twice across a bind with an assumption that those writes will not be interleaved (code). This assumption may hold for the fiber implementation, but it does not necessarily hold for any monad. The writes need to be sequenced.

[ddickstein]

Fixing this isn't especially urgent; implementations can themselves sequence calls to the write in the returned module.

[rgrinberg]

Good point. In my implementation, I serialize the writes myself, but that does make the interface a bit fragile.

How about I change the write function to take a string list?

[ddickstein]

That sounds fine to me