Can a rule declare that it returns an

Optional[Foo]

? Do we expect that to work? We have a rule that declared that it returned just

Foo

, but we were in practice also returning None sometimes. It all seemed to work fine, but I figure we might have been skating on thin ice.