So what do you do when you want to know all user names created on your mysql server?

mysql> select distinct User from mysql.user