Fixed type variance on trees
Updated after talk at Onetest