Note on @path being a custom operator