Data.GenValidity.Sequence