Interface Schema<Values extends HList>