anchor.diff:  
   module have =
       let atLeastOneElement matcher =
  -        let f a = a |> Seq.exists (applyMatcher matcher id)
  +        let f a = a |> Seq.exists (applyMatcher matcher (MatchResult.apply id))
           let msg = sprintf "contain at least one element to %s" matcher.FailureMsgForShould
           let notMsg = sprintf "contain no elements to %s" matcher.FailureMsgForShould
           createFullMatcher f msg notMsg
       
       let length matcher =
  -        let f a = a |> Seq.length |> applyMatcher matcher id
  +        let f a = a |> Seq.length |> applyMatcher matcher (MatchResult.apply id)
           let msg = sprintf "have length to %s" matcher.FailureMsgForShould
           createMatcher f msg
   
       let exactly no matcher =
  -        let f a = a |> Seq.filter (applyMatcher matcher id) |> Seq.length = no
  +        let f a = a |> Seq.filter (applyMatcher matcher (MatchResult.apply id)) |> Seq.length = no
           let msg = 
               sprintf "contain exactly %d element to %s" no 
                   matcher.FailureMsgForShould
  
positive.code:                 a ()
                  false
              with
              | e -> e.Message |> applyMatcher matcher id
          createMatcher f
              (sprintf "throw exception with message %s" matcher.FailureMsgForShould)
              
  
negative.code:     
  let shouldNot<'T> (matcher:Matcher<'T>) (actual:'T) =
      let continuation = function
          | MatchFail _ -> ()
          | MatchSuccess a ->
              let msg = sprintf "Expected %A to %s" a matcher.FailureMsgForShouldNot
              raise (AssertionError { Message = msg })
      matcher.ApplyActual continuation actual
      
  let should<'T> (matcher:Matcher<'T>) (actual:'T) =
      let continuation = function
          | MatchSuccess _ -> ()
          | MatchFail a -> 
              let msg = sprintf "Expected %A to %s" a matcher.FailureMsgForShould
              raise (AssertionError { Message = msg })
      matcher.ApplyActual continuation actual
  
  