general question: what's the proper way to write type annotations for `@rule`s?