Detailed type inference rules for static type parameters.

[EricGT]

Could the type inference rules used with static type parameters, inline and Generic.Zero and Generic.One be given or better documentation with examples.

This request originated from this SO question F# typing rules as inference rules in which I was hoping the answer would include the inference rules for static type parameters and inline.

I have been using F# for few years now, but every time I need static type parameters or inline or to use Generic.Zero and Generic.One with types other than numeric types I just don't feel confident in what I did.