generic trait とはどのようなものなんです？（trait が概ね protocol と思うので良い？）