constrained_type.fs

> type Test<'a when 'a: (static member Parse: string -> 'a)>(arg:string) = let value = arg;;

type Test< ^a when  ^a : (static member Parse : string ->  ^a)> =
  class
    new : arg:string -> Test< ^a>
  end

// reflected as:

[Serializable, CompilationMapping(SourceConstructFlags.ObjectType)]
public class Test<a>
{
    // Methods
    public Test(string arg)
    {
        File1.Test<a> @this = (File1.Test<a>) this;
        string value = arg;
    }
}