anchor.diff:    let private binN<'T when 'T : comparison> matchHead length =
       matchHead
       >>. length
  -    >>= fun length -> binParser.byteN length
  +    >>= binParser.byteN
       |>> (Binary: byte [] -> MsgPackValue<'T>)
   
     let bin8<'T when 'T : comparison> =
  
positive.code:         simpleFixType
        ]
  
      let parse input = parser (fun t xs -> Raw (t, xs)) input
  
negative.code:   let private fixExtN<'T when 'T : comparison> head data (f: TypeCode -> byte [] -> ExtendedValue<'T>) =
      matchHead head
      >>. binParser.byte1
      >>= fun t -> data |>> f t
      |>> Extended
  
    let fixExt1<'T when 'T : comparison> f = fixExtN<'T> HeadByte.FixExtended1 (binParser.byteN 1) f
  