1
Tại sao năng suất lẫn nhau làm cho ArrowApply và Monads tương đương nhau, không giống như Arrow và Applicative?
Đây là bài viết SO tôi sẽ đề cập đến . Ngoài ra, tôi sẽ sử dụng các đoạn giống như OP trong câu hỏi đó để không tách các tài liệu . Người ta biết rằng một ArrowApplythể hiện mang lại một Monad và ngược lại: newtype ArrowMonad a …