Ну дык.

Я не извращенец, поэтому сигнатура этой функции у меня выглядит так.
sendMessage :: Eval m => (ServerRequest -> m ()) -> SenderName -> ReceiverName -> Msg -> m ()

Кто кому и что отправил думаю и так понятно, а побочные эффекты тут разрешены только те, которые реализуемы функциями из класса Eval.