> . If you automatically enforce exhaustiveness then you either need to freeze all your public data-types

I think that's good practice!