שליחה במסרון: One Monad to Prove Them All