anchor.diff:      /// Creates a pickler/unpickler pair (PU) for strings using the supplied encoding
       let encodingPU encoding =
           let pickleEncodingS byteCount = 
  -            {
  -            Pickle = fun (str, s) -> pickleHelper (PickleConvertors.Encodings.convFromEncoding encoding) str s
  -            Unpickle = fun st -> unpickleHelperSized byteCount (PickleConvertors.Encodings.convToEncoding encoding byteCount) st
  -            }
  +            EagerPU
  +                {
  +                Pickle = fun (str, s) -> pickleHelper (PickleConvertors.Encodings.convFromEncoding encoding) str s
  +                Unpickle = fun st -> unpickleHelperSized byteCount (PickleConvertors.Encodings.convToEncoding encoding byteCount) st
  +                }
           sequ (Encoding.byteLength encoding) intPU pickleEncodingS
   
       /// A pickler/unpickler pair (PU) for UTF-8 strings
  
positive.code:         wrap (intAToDecimal, System.Decimal.GetBits) (repeatA (int32PUE endianness) 4)
  
      let private byteLengthPrefixE fPickle fConv endianness pu =
          {
          Pickle = fun (v, s) -> 
              pickleHelper (fun v' -> 
                  let arr = pickle pu v'
                  let byteLen = fPickle endianness (fConv <| Array.length arr)
                  Array.concat [byteLen; arr]) v s
          Unpickle = fun st -> unpickleHelper (fun _ b -> unpickle pu (Array.skip 4 b)) st
          }
  
      /// A pickler/unpickler pair (PU) that prefixes the byte length of the structure as a (signed) int in the supplied endianness
      let private intByteLengthPrefixE endianness pu = byteLengthPrefixE PickleConvertors.convFromInt32 id endianness pu
  
negative.code:                 let a = f b
                  let pb = k a
                  runPickle (b, runPickle (a, s) pa) pb
              EagerPU{Unpickle = unPck'; Pickle = pck'}
          |LazyPU y ->
              let lazySequ = fun () -> sequ f (y()) k
              LazyPU lazySequ
  
      /// Combines two PU into a PU that pickles a tuple-2
      let tuple2 pa pb =
  