ちょっと違いますが、-enable-explicit-existential-typesというフラグがあった頃は、これ使って確認できてたんですよね。 (edited)