Nice that they have both (row) polymorphic records and polymorphic variants... but weird that you only implicitly state the variables in data declarations---it

Nice that they have both (row) polymorphic records and polymorphic variants... but weird that you only implicitly state the variables in data declarations---it outlaws phantoms!