@mbcladwell I mean guile version inside `guix shell`, they must be different from what you have in you default profile.

No problem.

Wait a bit for Arei 1.0, there are so much quality of life improvements in it :)