anchor.diff:              pad (total - List.length list) elem list
         
       /// The catOptions function takes a list of Options and returns a list of all the Some values.
  -    let catOptions (xs:Option<'a> list) =
  -        [
  -            for x in xs do
  -                if x.IsSome then yield x.Value
  -        ]
  +    let inline catOptions (xs:Option<'a> list) = List.choose id
  +
   
       /// Compares two lists for equality using the given comparison function, element by element.
       let inline equalsWith eq xs ys = List.compareWith (fun x y -> if eq x y then 0 else 1) xs ys = 0
  
positive.code:       } 
  
      /// The catOptions function takes a list of Options and returns a seq of all the Some values.
      let catOptions (xs:seq<Option<'a>>) =
          seq {
              for x in xs do
                  if x.IsSome then yield x.Value
          }
      
      /// Compares two sequences for equality using the given comparison function, element by element.
      let inline equalsWith eq xs ys = Seq.compareWith (fun x y -> if eq x y then 0 else 1) xs ys = 0
  
  
negative.code:     let findOrDefault key defaultValue (map : Map<'T,'b>) =
          defaultArg (map.TryFind key) defaultValue
    
      /// The catOptions function takes a map of Options and values and returns a map of all the Some keys and values.
      let inline catOptionKeys (table:Map<Option<'a>, 'b>) =
          seq {
              for k, v in Map.toSeq table do
                  if k.IsSome then yield k.Value, v
          }
          |> Map.ofSeq
    
      /// The catOptions function takes a map of keys and Options and returns a map of all the keys and Some values.
      let inline catOptionValues (table:Map<'a, Option<'b>>) =
          let chooser _ vo = vo
          choose chooser table
  
      /// Compares two maps for equality using the given comparison function, element by element.
      let inline equalsWith eq xs ys =
  