> import GEq (equalGRoseListInt)
> import GRoseDatatype

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

TODO: Test local redefinitions here?

> gRoseEx1, gRoseEx2 :: GRose [] Int
> gRoseEx1 = GRose 2 [GRose 1 [],GRose 2 []]
> gRoseEx2 = GRose 2 [GRose 2 [],GRose 1 []]

> main = print ( equalGRoseListInt gRoseEx1 gRoseEx2
>              , equalGRoseListInt gRoseEx1 gRoseEx1
>             )