bytestring-typenats (hackage): Haskell ByteStrings annotated with type-level naturals for lengths
Keywords: bsd3|data|library