Simplified types for |>