Rewritten and functorized messaging module