5 Mar
2026
5 Mar
'26
8:54 p.m.
On Fri, 6 Mar 2026, Viktor Dukhovni wrote:
Bottom line, the two variants of `mlkem` don't end up offering the same API (distinct type signatures, that only look the same).
Isn't this exactly what Backpack modules are for? If `mlkem` and `tls` imported a signature for `crypton`/`cryptonite`, depending on either of these should have `mlkem` and `tls` use the correct version of the API. I'm not sure what to make of "somewhat experimental", though: https://cabal.readthedocs.io/en/stable/how-to-use-backpack.html It may already have been considered, but wouldn't making `tls` compatible with `cryptonite` solve the issue, too?