@tarunon associated type は、絞込条件として protocol をさらに付与できるけど、 struct の形式だからどうだろうね