أرسل هذا في رسالة قصيرة: One Monad to Prove Them All