Data.Data

class Data a

class Typeable a