ยง HAMT data structure [TODO ]