Reconsider example 8.1 on search trees containing integers.
In this exercise we want to produce search trees containing 
any kind of elements for which an ordering can be defined.
Define a functor that can be used for this purpose and show how it can
be used to produce search trees containing integers and 
search trees containing strings.