ValidatorWithList

type ValidatorWithList<TO, FROM>: (p1, p2) => p1 is TO;