Also, the other kind of typing. Like if "traverseWithKey" appears at the top of the string, I have to hit it with: Applicative t => (Key -> a -> t b) -> IntMap

Also, the other kind of typing. Like if "traverseWithKey" appears at the top of the string, I have to hit it with: Applicative t => (Key -> a -> t b) -> IntMap a -> t (IntMap b)