Pattern Match On Empty Maps

The effect is the same but strict comparison should be more efficient I reckon.