[navaati]

Shouldn't the type of the monadic serverStep be "Message -> m ()" to match the type of the explicit "serverStep :: Config -> State -> Message -> (State, [Message])" ? Aka, serverStep isn't a monadic object, it's a Kleisli arrow.

[wyager]

You're right, that's a typo. I even wrote it out correctly later. I'll fix that. Thanks!