DROP USER [ IF EXISTS ] имя [, ...]
DROP USER — просто альтернативное написание команды DROP ROLE.
DROP USER является расширением PostgreSQL. В стандарте SQL определение пользователей считается зависимым от реализации.