specializeの中身と func文のwhere句が冗長なのかなって思って。