title: in OCaml, what's "parenthesis type" as in (type v) in a definition or in a function signature?
body: <p>I know generic types, but sometimes I see <code>let a (type v w) etc.</code> in code, what's the difference?</p>