~Copyableとかの事をinverse genericsと呼ぶみたいだけど、reverse genericsと紛らわしいな