compiling ugly typed fingertree