| http://www.w3.org/ns/prov#value | - @carlos: Type information does not flow inside a single parameter list in a single function call: f(a, b, c)In this example, the types of a, b and c cannot influence each other.However, if you curry the function and break it out into two function calls with separate parameter lists, type information can flow from the first to the second: f(a, b)(c)In this example, information from a and b can infl
|
