Hash and type restriction on extracted sub-hash

It could maybe help to give some context why you end up with a nested hash of unknown structure and then want to import it into strict types in the first place.