Here we test extensibility of generic functions.

The test must use the generic equality defined in GEq
and extend it with a case for |Tree|s.

> import GEqTree (equalTree)
> import TreeDatatype

----------------------------------------------------------------------------------

> main = print ( equalTree mytree mytree2
>              , equalTree mytree mytree3
>              )