4 ms·
Shouldn't the type of the monadic serverStep be "Message -> m ()" to match the type of the explicit "serverStep :: Config -> State -> Message -> (State, [Messag
by navaati 10y ago
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 10y agoYou're right, that's a typo. I even wrote it out correctly later. I'll fix that. Thanks!