srtpManyCounts.fs

type ICounts() =
     static member inline Count< ^C when ^C: (member itemCount: int)> o =  (^C: (member itemCount: int) o)
     static member inline Count< ^C, 'Dummy1 when ^C: (member thingCount: int)> o =  (^C: (member thingCount: int) o)
     static member inline Count< ^C, 'Dummy1, 'Dummy2 when ^C: (member otherCount: int)> o =  (^C: (member otherCount: int) o)
     static member inline Count< ^C, 'Dummy1, 'Dummy2, 'Dummy3 when ^C: (member Count: int)> o =  (^C: (member Count: int) o)

let say count = 
    printfn "%d" count
    ()

type c = ICounts

say (c.Count {|itemCount = 1|})
say (c.Count {|thingCount = 2|})
say (c.Count {|otherCount = 3|})
say (c.Count {|Count = 4|})

​srtpManyCounts.output.txt

1
2
3
4

​​.sharplab.json

{
    "version": 1,
    "target": "Run",
    "mode": "Debug"
}