They can naturally distinguish between primitive scalars and scalar Views. But they complicate pattern matching, if both can occur anywhere.