{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicex5blj7dbcnz34m6grz2gmzbkaygg3pb3oln35ls7qjv2pwcmo4",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkbv7kpxlba2"
  },
  "path": "/t/botan-bindings-devlog/6855?page=11#post_209",
  "publishedAt": "2026-04-25T00:10:16.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "How about:\n\n\n    -- equivalent to `NonEmpty.(:|)`\n    | SizeList Int [Int] -- ^ SizeList {head} {tail}\n\n\nAlso, thanks for still going at it and writing these lovely reports. It’s always a pleasure to read.\n\nI would also love to see the `memalloc` library.\nDoes it have an extensive test suite? It feels like such a fundamental library that it should _really_ be as robust as can be.\n\nAnd another question: do you think a higher level `botan` package would even be needed if `botan-low` will get higher level concept types and convenience functions?",
  "title": "Botan bindings devlog"
}