single であることを表す protocol を導入して、 conditional comformance 使って解決する？