x # ([] : List T)