Can we enforce enumeration for types?