I suggest that the documentation of @@ in the Info node "API Reference > Modules > Using Guile Modules" states that sometimes it might be necessary to reload a module (reload-module (resolve-module module)). Please see context here: https://lists.gnu.org/archive/html/help-guix/2023-09/msg00034.html
