Data.GenRelativeValidity

class GenRelativeValidity a b