Answer by Tarmil for Apparent non-coherent behaviour between F# and C# when using generics constraints

This is indeed a limitation in F#, you can't have a subtype constraint on two type parameters, ie 'T :> 'U. I think there's a language design suggestion to remove this limitation, although I can't find it right now.