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