countNodes :: DataTree c -> Int
countNodes (DCon _ ts) = 1 + sum (map countNodes ts)
countNodes :: DataTree c -> Int
countNodes (DCon _ ts) = 1 + sum (map countNodes ts)
countNodes (DCon _ ts) = 1 + sum (map countNodes ts)