Data.GenRelativeValidity
class GenRelativeUnchecked a b
class GenRelativeValid a b
class GenRelativeInvalid a b