> {-# OPTIONS_GHC -fglasgow-exts -fth -fallow-undecidable-instances #-}
> module Efficiency where
> import RepLib
> import GEq
> import BinTreeDatatype

> bigeq :: Int -> Bool
> bigeq n = equalBinTreeChar t t
>   where t = fulltree n '*'

> fulltree :: Int -> a -> BinTree a
> fulltree 0     a = Leaf a
> fulltree (n+1) a = Bin t t
>   where t = fulltree n a

fulltree r = gFullTree (rBinTree r)

> equalBinTreeChar  :: BinTree Char -> BinTree Char -> Bool
> equalBinTreeChar  = (==)