- The key parameter used as a sifting discriminator is now of type String

  instead of a generic K. This simplifies the code without real loss
  of generality. :-)