A typing hacker would not just enjoy shooting at words such as "specifying" and "establish", but also at #define, for(;;), /bin/bash, *p[1+i], s/[^0-9]/_/g, "%10f\n", ~(str&(b|c)), and so forth. Just saying.
Applicative t => (Key -> a -> t b) -> IntMap a -> t (IntMap b)