パラメータ付きのopaque type(some keyword)を作るのと、reverse genericsを作るのって、ABI的には同じタスクじゃないだろうか？

3:37 AM

てか、opaque typeも、ABI境界をまたいだ状況だと具体型が消去されて抽象化されるので、generalized existentialのベースになる？