Data.IsTy

class IsTy f

class IsTy2 f