The underscore character ("_") matches any pattern
treeSize :: Tree a -> Integer treeSize (Leaf l) = 1 treeSize (Branch b1 b2) = treeSize b1 + treeSize b2 treeSize _ = 0