Detailed description of statically permitted type parameters

Question

I am looking for a very detailed overview of statically permitted type parameters. What exactly can be done with them, what are their limitations, what are the consequences of using them, how are they combined with the usual type parameters, and how the built-in members at the instance level work.

The specification itself offers very little on this subject, mentioning them only in passing. It does not say anything about the possibility of having types with such type parameters (for example, type Example< ^a> ), namely the keywords and and or can be used to indicate complex member restrictions, how many signatures of the participants must match the restriction signature, etc. .

I really found only introductory material and some very specific information, nothing in the form of a comprehensive overview.