anchor.diff:    let private extN<'T when 'T : comparison> head length (f: TypeCode -> byte [] -> ExtendedValue<'T>) =
       matchHead head
       >>. length
  -    >>= fun length -> binParser.byte1 >>= fun t -> binParser.byteN length |>> fun xs -> f t xs
  +    >>= fun length -> binParser.byte1 >>= fun t -> binParser.byteN length |>> f t
       |>> Extended
   
     let ext8<'T when 'T : comparison> (f: TypeCode -> byte [] -> ExtendedValue<'T>) =
  
positive.code: 
    let parseExt<'T when 'T : comparison> (f: TypeCode -> byte [] -> ExtendedValue<'T>) input = parser f input
  
    let parse input = parseExt (fun t xs -> Raw (t, xs)) input
  
    module OldSpec =
  
  
negative.code:   let private binN<'T when 'T : comparison> matchHead length =
      matchHead
      >>. length
      >>= binParser.byteN
      |>> (Binary: byte [] -> MsgPackValue<'T>)
  
    let bin8<'T when 'T : comparison> =
  