Welcome! Please see the About page for a little more info on how this works.
The return type hint is not needed on the undefined? function, as the return type is inferable from its body (via the :tag meta provided by the respective macro).