−None과 Err는 f를 거치지 않고 그대로 나오며, 다섯 입력 모두 두 법칙을 만족한다. 다만 이 비교는 몇 개의 입력으로 확인한 것이지 모든 입력에 대한 증명은 아니다. 첫 원소를 버리는 LossyBatch도 Select가 있으니 똑같이 컴파일되고, from x in batch select x가 원래 값과 달라진다(id=False). Task용 Select는 작업이 실패하면 예외를 그대로 전파하므로 Result처럼 실패를 값으로 넘기지 않는다. ContinueWith도 비슷한 일을 하지만 결과 값이 아니라 완료된 Task 자체를 인자로 넘기므로, map으로 쓰려면 실패와 취소를 직접 확인해야 한다.[각주 7]
+None과 Err는 f를 거치지 않고 그대로 나오며, 비교한 다섯 입력에서는 두 법칙이 성립한다. 이 결과는 해당 입력에 대한 확인으로, 모든 입력에 대한 증명과는 구별한다. 첫 원소를 버리는 LossyBatch도 Select가 있으니 똑같이 컴파일되지만 from x in batch select x가 원래 값과 달라진다(id=False). Task용 Select는 작업이 실패하면 예외를 그대로 전파하므로 Result처럼 실패를 값으로 넘기지 않는다. ContinueWith는 결과 값 대신 완료된 Task 자체를 인자로 넘겨 비슷한 일을 하며, map으로 쓰려면 실패와 취소를 직접 확인해야 한다.[각주 7]
