fringe (Branch left right@(Branch b_1 b_2))
    = (fringe left) ++ (fringe right)
fringe (Branch left right@(Branch b_1 b_2))
    = (fringe left) ++ (fringe right)
fringe (Branch left right@(Branch b_1 b_2))
    = (fringe left) ++ (fringe right)