cons and nil as constructor types for RDT construction