F#: statically resolved type parameters not represented

[cartermp]

From FSharp.Core smoke test:

Although this gets the struct constraints correct, critical information about other constraints are missing. See the MSDN entry on this operator:

(Yes, the formatting is pretty awful, but it does convey the static members that are necessary when using this operator).