DROP USER [ IF EXISTS ] name [, ...]
DROP USERはDROP ROLEの単なる別の綴りです。
DROP USER文はPostgreSQLの拡張です。 標準SQLでは、ユーザの定義は実装に任されています。