How are MySQL and Postgres ENUMs different?
readyset.io