Update styleish
QuickCheck for trees