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