Bạn tìm các phần thực thi suy đoán ở đâu trong mã nguồn monad?