adding highFindProfileHAMT