Ну дык.

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

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

рррррррррррр

Это всё мелочи, да. Новомодные. Любителями скобочек заложенные, ке-ке-ке.
Вот разбираться в исходном коде на смеси асма и чистых машинных кодов, когда соглашение вызова разное в разных модулях и разных обстоятельствах... И код жёсткого реалтайма, использующий все доступные кольца защиты и редко используемые фичи 386 проца...
В общем, посмотрели (все вместе, включая военприёмку - откуда и дровишки) - и потом написали с нуля под MIPS на сях. Тем более что мипс у нас делают здесь, а 80386 так толком и не склонировали.