Declared ADTs.