Such subsets are readily available in all dynamic languages I've used. But the issue here is really about compile-time checking these things, and that's a diffe

Such subsets are readily available in all dynamic languages I've used. But the issue here is really about compile-time checking these things, and that's a different animal.