higher bound for height
map fold lets ___