DROP USER — remove a database role
DROP USER [ IF EXISTS ] name [, ...]   DROP USER is simply an alternate spelling of
   DROP ROLE.
  
   The DROP USER statement is a
   PostgreSQL extension.  The SQL standard
   leaves the definition of users to the implementation.