do I understand correctly, this is removed to avoid double indentation for cases like the one below?

type a = string
    | number;

I removed it to prevent this:

type a = 
    string |
        number |
        boolean;

... to match normal bar operator behavior:

let x = 
    3 | 
    4 |
    5;