formatting
noRedRed :: Tree a -> Bool
Refactor: simplify the countRB function
testNoRedReds + refacto testCountRBs
blackHeight :: Tree a -> Int
isRBTree :: Tree a -> Bool
Format