Compact tree of Haskel Pitts