successful lookup of a typelevel map.