How are MySQL and Postgres ENUMs different? | Hacker News Reader