RIGHT:[[:t/型]] [[:t/汎用記法]]
RIGHT:[[:t/型]] [[:t/汎用記法]] [[:t/順不同]]

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

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

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