Since there is no especial reason to make it opaque, I prefer to be permissive. So if it turns out that some user can think of something useful to do with the data constructor it can be done right away without further communication.