On Fri, Dec 29, 2006 at 07:58:54PM +1100, Donald Bruce Stewart wrote: > Since this data type: > > > data Store a = E a | S [Store a] > > deriving (Show) > > Is isomorphic to the normal Data.Tree type anyway, so we'll use that: It's a bit different - store has labels only in its leaves. Best regards Tomasz