Marker trait for capabilities that can be safely shared in a concurrent context. During separation checking, shared capabilities are not taken into account.