remove dependency on |>