Operations on a List
ADT
ä Constructor operations which evaluate to
type List
ä Create, Cons and Tail
ä Inspection operations which take type list
as a parameter and return some other type
ä Head and Length.
ä Tail can be defined using the simpler
constructors Create and Cons. No need to
define Head and Length with Tail.