Manuel Bärenz

Yes, I can verify that the PR solves the problem! Thanks a lot :)

> I don't mind not supporting this because I think lenses are not a good idea Ah, that's interesting, can you elaborate? Maybe I'm on the wrong track design-wise. My...

Fair point, for the receiving side of the request. I forgot to mention though that the POST request is also a deeply nested JSON structure that I need to edit...

Thanks for reporting! I believe this is a known, but not well-documented issue (https://github.com/tweag/monad-bayes/blob/bed154b1592e1d78dc51fefb87a0bd2e498a21fc/flake.nix#L48, https://github.com/tweag/monad-bayes/blob/bed154b1592e1d78dc51fefb87a0bd2e498a21fc/.github/workflows/nix.yml#L40). Due to machine-precision issues, floating point number calculations are slightly different on aarch64 than on...