but `|` is typically used in typing