But the spirit of the proposal seems to suggest that for all intents and purposes, a property's type is the type of it's return value.
If you want a function, then just don't annotate with @property. The whole point of property is that it doesn't behave like a function.
