Module 0036: Array and records as ADTs