interesting idea. It would work but what about the future type-safe way of defining cross parameter validators?