sig   val ( |> ) : '-> ('-> 'b) -> 'b   val ( -| ) : ('-> 'b) -> ('-> 'a) -> '-> 'b   val ( |- ) : ('-> 'b) -> ('-> 'c) -> '-> 'c end