Restrictions of ADTs