b: Task2 rewritten as an ADT – Richard Buckland UNSW