On Tuesday, 24 May 2022 at 18:54:33 UTC, frame wrote: > Usually that works fine as shown in module A but for some > reason not in module B. Do you have some other definition of fun somewhere?