Use ListT (done right) in Tree/Set module