The constraint is messing up something:  ```fs let inline (!>) (value: ^a) : ^b = ((^a or ^b): (static member inline op_Implicit: ^a -> ^b) value) type Class = class end ```