genéricos con interfaces en F #

Question

En C# se puede afirmar que un parámetro genérico debe aplicar una determinada interfaz de este modo:

public class Something<T> where T : IComparable 
{ 
    ... 
} 

¿Cómo se puede especificar esto en F #?

Answer 1

limitaciones genéricas utilizan "cuando" en Fa #:

type Foo<'a when 'a :> IComparable> = 
    member x.Bla = 0