I think what @Tamas_Kalczai is after is an existential type. We don’t support those. If we did, you’d be able to express wildcard agreements like “I agree to exercise any choice” so there’s definitely a tradeoff with security.
I think what @Tamas_Kalczai is after is an existential type. We don’t support those. If we did, you’d be able to express wildcard agreements like “I agree to exercise any choice” so there’s definitely a tradeoff with security.