TTagged 2 (TList []) fails to deserialise

[j-mueller]

in cabal new-repl:

> import Codec.CBOR.Term
> import Codec.CBOR.Write
> import Codec.CBOR.Read
> deserialiseFromBytes decodeTerm (toLazyByteString $ encodeTerm $ TTagged 2 (TList []))
Left (DeserialiseFailure 0 "expected integer")

Note that it only fails if the tag is 2 or 3. It seems to work for values 0-1 and anything above 3.

[j-mueller]

If I interpret this correctly, can we only use values from 0:1:[4..26] as tags? So maybe we are using the Tag constructor incorrectly.