nil: BraList<any> = ...

The empty bra-list (that is effectively the same as the empty list)