コンパイラが追跡できる限り具体的な型に展開されるが、コードのインターフェースとしては抽象的で、モジュール境界とかでは自動でexistentialみたいになる

2:11 AM

みたいなもん？