Ну пока у нас нет выбора. Лучшее, что смог предложить Влашин - Validate<‘a, string []> и как очевидно по сигнатуре - это конкретный тип, а не обобщенный. Кому-то он подходит, а кому-то не подходит. Но кстати если вы забыли, то разговор начался с constrained types, а не с «надо ли делать валидацию»