制約が弱い型の引数はラベルで補足