associatedtypeは不定になるから無理