test
Variance first round
scalaz.Tree implementations used