أرسل هذا في رسالة قصيرة: The coinductive resumption monad