Your statement that every such function definition should be denoted explicitly.
That's a very hard question. I'd have to think about that.
Very often they denote a very low cost operation, but they can also denote things that are lazily initialized, and I think it's fine, since the...