The | means what types could be there