Активные шаблоны и ограничения участника

Для встроенной функции можно создать ограничение, как:

let inline implicit arg =
  ( ^a : (static member op_Implicit : ^b -> ^a) arg)

, требующий данного оператора или члена в аргументах. Есть ли способ соответствовать на основе что-то похожее?

Я хочу создать активной шаблон, когда любой аргумент, который передается на метод, который соответствует ограничениям включенной функции, как вышеприведенные триггеры, которые функционируют и все остальное заканчиваются как часть некоторое управление ошибками.