anchor.diff:                  | SameLength(expected,given) -> 
                       sprintf 
                           "Expected length to be equal to %d, but found %d.\nGiven list:%A\nExpected List:%A" 
  -                        (expected |> Seq.length) (given |> Seq.length) given expected
  +                        (expected |> Seq.length) (given |> Seq.length) (printSeq given) (printSeq expected)
                   | NotEmpty(_,context) -> sprintf "The given string should not be empty:%A" context
  -                | InList(item,list) -> sprintf "The given item '%A' is not in the list: %A" item list
  +                | InList(item,list) -> sprintf "The given item '%A' is not in the list: %A" item (printSeq list)
                   |> caseToMsg this
   
       let isEqual given expected context = 
  
positive.code:     let coreEnums = Assembly.GetAssembly(typeof<Index>).GetTypes()
                      |> Seq.filter (fun t -> t.IsSubclassOf(typeof<Enum>))
                      |> Seq.filter isNotInternal
                      |> Seq.sortBy (fun t -> t.Name)
  
      // Execute the actual validation
  
negative.code: // ----------------------------------------------------------------------------
  module SigDocValidator =
      open MessageHelpers
  
      let printSeq sequence =
          sequence
          |> Seq.map (sprintf "%A")
          |> Seq.fold (fun acc value -> acc + value + ";\n") ""
          |> sprintf "[%s]"
  
      // Validation helpers
      type ValErr<'T,'U> =
  