You may, having said that, for your needs fall back again to an unconstraint style parameter, since you can often check for == null. If the kind is a worth style the Examine will just always Consider to Fake. Sample for deriving from an interface using a ask for to an interface that has a ask for