Operadores en línea sobrecargados en F #: (| + |)

Estoy tratando de definir un operador sobrecargado, por ejemplo.|+|, como el seguiente:

let inline ( |+| ) (m1 : #IMeasurable) (m2 : #IMeasurable) = m1.Measure + m2.Measure

El problema es que no puedo hacer algo como:

let three = m1 |+| m2 |+| m3

Porque el operador|+| no está definido para el caso(m1 : int) (m2 : #IMeasurable). ¿Hay una manera de sobrecargar a este operador o usar restricciones de tipo estático para hacer posible la expresión anterior? ¿Hay alguna manera de modificarIMeasurable (que puedo editar) para que esto sea posible? ¿Algo más que permita que la expresión anterior funcione?

Gracias.

Respuestas a la pregunta(2)

Su respuesta a la pregunta