According to this answer, F# supports OCaml style type parameters. The example in the question is:
type 'a NestedList = List of 'a NestedList list | Elem of 'a
However, I could not find this syntax documented anywhere in the F# documentation and moreover, I cannot get the F# compiler accept the syntax in the answer I gave the link to. This attempt to use multiple parameters are not accepted by the compiler:
type ('a * 'b) SomeType = ('a * 'b)
This however, works:
type ('a , 'b) SomeType = ('a * 'b)
let x:SomeType<int,int> = (4,5)
Based on the type annotation Rider displays above x, I'm assuming this is the accepted syntax, but I'd like to know where this is documented and if I did get it right.
