It seems weird to me that you're using this annotation here, but nowhere else. If we're going to use it, we should allow readers of the API to expect it to be used thoroughly, at least for stuff that's relevant to creating custom functions.

Also, can't we just put this on the module itself rather than each of the functions?