Reading material
Pages 81-87 and 96-100.
Additional material
List
PairList
Set.sig
Set.sml