trying full typed fingertree