General Opaque Type というか Reverse Generics ？