I still love the demo of abstract types for hash map access. If you have a function K -> Map<K,V> -> V it's almost certainly looking up the key. It's nifty because there are very few other implementations that fit this signature.