| http://www.w3.org/ns/prov#value | - A defintion can be accompanied by a type signature, which can request a less general type than the compiler would have chosen on its own. (Because of the monomorphism restriction, there are also some cases where a type signature can request a more general type than the default.) Type signatures are also useful even when they make no changes, as a kind of documentation.
|
