>>82
例えば無名関数を考えてみると分かり易いかも。↓こういうの。

http://merd.sourceforge.net/pixel/language-study/syntax-across-languages/Fnctn.html#FnctnnnmsFnct

これらがファーストクラスなら、引数にも返り値にも出来るし、変数に束縛も出来る。
逆に、関数を左辺（ラベル）に置くのは変でしょう。