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