名前体

 複数の変数を持つ関数は無名のコンポーネントのようにふるまう。コンポーネント一個入れれば名前があっていれば自動で代入される。変換をやりやすくするために名前体を定義することが出来、名前体からコンポーネントへの変換も定義出来るし、名前体にキャストすることで関数に名前をあわせて突っ込むことも出来る。名前体は名前を合わせるだけで、実態を持った型ではなく、ローカル変数に入れることも出来無い。