ADT: dataCons and typeCons
ADT DataConsTypeCons