I finally came back to contracts with an alternative implementation much close to what I have in SelfHostBlocks, which does not lead to infinite recursion and with working documentation Contracts rfc functions by ibizaman · Pull Request #485453 · NixOS/nixpkgs · GitHub
7 Likes