numBranches :: Branches br -> Int
numBranches (MkBranches arr) = snd (bounds arr) + 1
numBranches :: Branches br -> Int
numBranches (MkBranches arr) = snd (bounds arr) + 1
numBranches (MkBranches arr) = snd (bounds arr) + 1