single-level HAMT.{Insert,Find,Delete} tests succeed