| http://www.w3.org/ns/prov#value | - Here it is, recorded for posterity.I will paraphrase the original question as:what is the difference between the types forall a. [a] and [forall a. a], andHow does this relate to existential types?Well, the short answer to the second question is It does not relate.
|
