型パラとassocが一つずつあるのか、どういう意味だろ