Este patrón activo compila con F # 2.0: let (|Value|_|) value = // 'a -> 'T option
match box value with
| :? 'T as x -> Some x
| _ -> None
pero, en F # 3.0, emite el error: Active pat
Para una una función en línea podría crear una restricción como miembro de: let inline implicit arg =
(^a : (static member op_Implicit : ^b -> ^a) arg)
lo que el operario dada o miembro en los