class IsTy f

class IsTy2 f

class Yes f a

class Yes2 f a b