koher 11/15/2017 1:59 PM

確かに今は型パラメータは具体的な型で埋められるので、どういう扱いになるのか謎ですね