複数の引数をとる記法では、どんな順序で引数を与えても自動的に調整。同じ型の仮引数／実引数同士を対応付ける。同じ型が複数あれば順序通りに関連付け。
引数を取るような記法は汎用記法だけ。

でもデータコンテキストの仕組みによって自動的な型変換が行われるので、型の対応付けができない。もういい。

書きやすくするなら引数ラベル（パラメーターラベル）で。
→ :i/汎用記法で名前付きパラメーター