[11:26:27] <wm-bb>	 <amire80> The type of https://www.wikifunctions.org/view/en/Z31462 is https://www.wikifunctions.org/wiki/Z19565, which is not a type, but a function. Is it valid?
[12:23:58] <wm-bb>	 <Al> Not entirely. Please see *T416631. *The type is actually specified via a function call, which is valid, but the function call does not return a type, so the resulting object is not valid. (re @amire80: The type of https://www.wikifunctions.org/view/en/Z31462 is https://www.wikifunctions.org/wiki/Z19565, which is not a type, but ...)