Сопоставление шаблона с универсальным типом с использованием параметра гибкого типа

match value with
| :? list<#SomeType> as l -> l //Is it possible to match any list of a type derived from SomeType?
| _ -> failwith "doesn't match"