Essentially allow type parameters for map, whilst not locking down the parameter to a type constraint. This is the closest I got to it this morning I'm not sure if it can get any closer