associatedtype とかメタタイプとかへの型の map みたいなのが必要そう。