Curried static members do not support subsumption on later arguments

[kevmal]

This is all fine:

type T() =
    static member F() = fun (x : int seq) -> ()

let g = T.F()
g [1;2;3]

let f() = 
    printfn ".."
    fun (x : int seq) -> ()

f() [2;3;4]

type U() =
    static member F () (x : int seq) = ()
U.F() [1;2;3]

Where this

T.F() [1;2;3]

produces the error

error FS0001: This expression was expected to have type
    'seq<int>'    
but here has type
    ''a list'    

[dsyme]

Can you open this as a language design suggestion? thanks

[dsyme]

Recorded at fsharp/fslang-suggestions#916 and as a language spec clarification here fsharp/fsharp.org#841