Why teach Arrow's impossibility theorem?
What you describe has not much to do with Arrow's impossibility theorem. This is called the Condorcet paradox. The preference profile you gave is used to demonstrate that even if all individual preferences are transitive group judgement may not be. Using majority voting y beats z, z beats x and x beats y.

Arrow's impossibility theorem is a more nuanced theorem. If you have not studied it do read up on it, it is fascinating! (You probably have to get a book on Social Choice to get familiar with the concepts the theorem uses.)

Judgement aggregation is covered in basic micro courses to show that it is not clear which of the efficient allocations a social planer should use, because society may not agree.