أين تجد أجزاء التنفيذ المضاربة في شفرة مصدر monad؟